Информация об авторе

Грамберг О.


Библиография книг автора

Верификация моделей программ. Model Checking Грамберг О. Кларк Э.Р. Пелед Д.
Верификация моделей программ. Model Checking
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем....
Нет в наличии