ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
для школьников, студентов и научных работников

Каталог

Книги

/Кларк Э.М. Мл., Грамберг О, Пелед Д./

Верификация моделей программ: Model checking: монография /Пер. с англ.

Издательство:МНЦМО
Год издания:2002
ISBN:5-94057-054-2
Кол-во страниц:416
Переплёт:Твёрдый
 219 руб.  В корзину

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2018-01-31
15 ноября 2017 года Почта России повысила тарифы на внутренние посылки. Тарифы повысились практически ровно на 15%.
2017-12-28
30 и 31 декабря 2017 г., 1, 2 и 7 января 2018 г. магазин не работает. С 3 по 6 января включительно работает с 10.00 до 17.30, 8 января — с 9.00 до 19.00, с 9 января 2018 г. — по обычному расписанию.
2017-07-17
Уважаемые заказчики! В связи с сезоном летних отпусков сроки обработки отдельных заказов могут быть несколько увеличены. Приносим вам свои извинения
2017-07-03
Издательство «Физматкнига» с глубоким прискорбием сообщает, что 2 июля на 87-м году жизни скончался наш многолетний автор, профессор, доктор педагогических наук Михаил Иванович Шабунин.