
Верификация моделей программ: Model checking
нет в наличии
- Издательство: МЦНМО
- ISBN: 5-94057-054-2
- Год издания: 2002
- Тираж: 1000
- Страниц: 416
- Обложка: переплет
Описание:
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.