Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Войти через  
Visa MasterCard WebMoney Яндекс.Деньги PayPal
270 пунктов выдачи, доставка в 91 городе
8-800-707-3313
(по России бесплатно)
Мой регион
Верификация моделей программ: Model checking
Книга






Э. Кларк, О. Грамберг, Д. Пелед

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

     
(0 голосов )

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

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

New & best!