Добавляйте интересные книги в свою библиотеку PocketBook.
книга Верификация моделей программ. Model Checking
0

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

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

Материалы

Отзывы

Раз в месяц дарим подарки самому активному читателю.
Оставляйте больше отзывов, и мы наградим вас!
Чтобы добавить отзыв, вы должны .

Цитаты

Вы можете первыми опубликовать цитату

Чтобы добавить цитату, вы должны .