Ebook: Верификация моделей программ: Model Checking
Author: Э. М. Кларк О. Грамберг Д. Пелед
- Genre: Компьютеры // Программирование
- Tags: Информатика и вычислительная техника, Технология программирования, Тестирование программного обеспечения
- Year: 2002
- Publisher: Изд-во Моск. центра непрерыв. мат. образования
- City: М
- Language: Русский
- djvu
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Download the book Верификация моделей программ: Model Checking for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)