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

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

Издательство: МЦНМО
Авторы: Э.М. Кларк, О. Грамберг, Д. Пелед
Год издания: 2002
Страниц: 416
Формат: djvu
Качество: отличное
Язык: русский
ISBN: 5-94057-054-2

Скачать книгу "Верификация моделей программ. Model Checking" (4,70 МБ):