Верификация моделей программ. Model Checking
1 592
2
Рейтинг: 0 из 10 (голосов:0)
Скачать книгу
Сообщить об ошибке


Оставить отзыв

Верификация моделей программ. Model CheckingНазвание: Верификация моделей программ. Model Checking
Авторы: Э. М. Кларк, О. Грамберг, Д. Пелед
Издательство: МЦНМО
Год издания: 2002
Число страниц: 416
Формат: DjVu
Размер: 4,4 Mb
Качество: Хорошее
Язык: Русский


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





Похожие книги и литература

Комментарии и отзывы к книге - Верификация моделей программ. Model Checking

  1. Полезный отзыв?
    0
    Годная книга от "отцов-основателей" метода
  2. Полезный отзыв?
    0
    молодцы, ваще класный сайт, блиин