Книга Верификация моделей программ: Model checking, Грамберг, Пелед, Кларк, 5-94057-054-2, купить, цена

книги

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

бумажная книга

Издательство:	Московский центр непрерывного математического образования
Дата выхода:	январь 2002
ISBN:	5-94057-054-2
Тираж:	1 000 экземпляров
Объём:	416 страниц
Масса:	580 г
Размеры(В x Ш x Т), см:	22 x 15 x 2

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

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

Каталог