Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

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


Автор: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Страниц: 416
Размер: 4,4 Мб [DJVU]

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

Скачать:

Нажмите для скачивания Verification.rar!Verification.rar
Размер: 4.47 Mb(cкачиваний: 2)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional