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