Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Верификация моделей программ: Model checking

Верификация моделей программ: Model checking

Авторы/составители: Кларк Э.М.Мл., Грамберг О, Пелед Д.
Издательство: Московский центр непрерывного математического образования (МЦНМО)
Серия: Учебные пособия. Математика. Высшая школа

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

нет в наличии
сообщить о поступлении в продажу
Бестселлеры раздела...