М.: МЦНМО, 2002. — 416 с.: ил.
В монографии всемирно известных специалистов в области
математической логики и теории вычислений представлено полное и
подробное изложение нового подхода к решению задачи проверки
правильности функционирования сложных программных систем.
Кларк Э.М., Грамберг О., Пелед Д. Верификация моделей программ: Model Checking
- формат djvu
- размер 4,60 МБ
- добавлен 22 августа 2013 г.
Похожие разделы