Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
ЛЕТНЯЯ РАСПРОДАЖАТысячи нужных, полезных и просто классных товаров со скидкой до 30% ждут вас! Как выбрать товары из распродажи.СКИДКИ ДО 30%
Верификация моделей программ: Model checking

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

Авторы/составители: Кларк Э.М.Мл., Грамберг О, Пелед Д.
Издательство: Московский центр непрерывного математического образования (МЦНМО)
Серия: Учебные пособия. Математика. Высшая школа

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

нет в наличии
сообщить о поступлении в продажу
дата выпуска2002 г. 
языкрусский
количество томов1
количество страниц416 стр.
переплеттвердый
формат60x90/16 (145x215 мм)
ISBN5-94057-054-2, 978-5-94057-054-7
стандарт8 шт. 
возрастная категория18+ (нет данных)
код системы скидок25
код в My-shop.ru613447
Бестселлеры раздела...