Поиск книг, учебников, пособий в онлайн-магазинах
Верификация моделей программ: Model checking
Автор: Э. М. Кларк, О. Грамберг, Д. Пелед, 416 стр., серия: "Учебные пособия. Математика. Высшая школа", издатель: "Московский центр непрерывного математического образования (МЦНМО)", ISBN: 978-5-94057-054-7, 5-94057-054-2В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
| В наличии: | ||||
 |
My-shop.ru - 328 руб. |
Перейти 
|
||
Рейтинг книги: 
5 из 5, 8 голос(-ов).
5 из 5, 8 голос(-ов).
Популярные книги по минимальной цене:
 108 руб.
|
 216 руб.
|
 266 руб.
|
 580 руб.
|