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


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

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