Магазин издательства МЦНМО

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

нет в наличии
  • Издательство: МЦНМО
  • ISBN: 5-94057-054-2
  • Год издания: 2002
  • Тираж: 1000
  • Страниц: 416
  • Обложка: переплет
Описание:

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