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

Каталог

Книги

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

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

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

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

Комментарии: (авторизуйтесь, чтобы оставить свой)
В корзине нет товаров
Новости
2017-07-17
Уважаемые заказчики! В связи с сезоном летних отпусков сроки обработки отдельных заказов могут быть несколько увеличены. Приносим вам свои извинения
2017-07-03
Издательство «Физматкнига» с глубоким прискорбием сообщает, что 2 июля на 87-м году жизни скончался наш многолетний автор, профессор, доктор педагогических наук Михаил Иванович Шабунин.
2017-07-01
Магазин «Физтех-книга» в летний период (июль и август) будет работать с 9.00 до 19.00. Выходные — суббота и воскресенье.
2016-11-07
Уважаемые покупатели! У нас изменился номер телефона. Новый городской номер (499) 390-51-38.