Обложка Кларк Э.М. Мл., Грамберг О, Пелед Д. Верификация моделей программ: Model checking
Id: 14789

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

2002. 416 с. ISBN 5-94057-054-2.
  • Твердый переплет

Аннотация

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