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

Аннотация

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

Отзывы читателей

Оставить отзыв

Ваше имя Отзыв Проверочный код Отправить отзыв