книги

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

Код 98913

Нет в продаже

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

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

Оставить комментарий

Оцените книгу:

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

Вместе с этой книгой покупают