Книги
  • @
  • «»{}∼
Верификация моделей программ. Model Checking

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

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