Верификация моделей программ. Model Checking (книга)
| Верификация моделей программ. Model Checking | |
 | |
| Автор: | Э. М. Кларк О. Грамберг Д. Пелед |
|---|---|
| Оригинал издан: | 2002 |
| Издательство: | МЦНМО |
| Выпуск: | 28 ноября 2006 г. |
| Страниц: | 416 |
«Верификация моделей программ. Model Checking» — книга 2002 года.
Содержание |
Содержание 
От издателя
«В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
