Интернет-магазин My-shop.ru
Акции   
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Красиво и практично!Новогодние наборы My-shop.ru — лучшее решение вопроса с подарками под ёлку!Удобно и выгодно!
• 
Образование, учебная литература (189112)
• 
ВУЗовская литература (29004)
• 
Информатика. Электроника. Связь (1840)
• 
Научные издания, теории, монографии, статьи, лекции (133)



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

Кларк Э.М.Мл. (найти все товары), Грамберг О, Пелед Д.

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

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

Рейтинг: - (голосов: 0)
Ваша оценка: 1 2 3 4 5  

дата выпуска: 2002 г. 
язык: русский
количество томов: 1
количество страниц: 416 стр.
переплет: твердый
формат: 60x90/16 (145x215 мм)
стандарт: 8 шт.
возрастная категория: 18+ (нет данных)
код системы скидок: 25
код в My-shop.ru: 613447

ISBN: 5-94057-054-2, 978-5-94057-054-7


Кларк Э.М.Мл.автор/составительКларк Э.М.Мл., найти все товары
Грамберг Оавтор/составительГрамберг О, найти все товары
Пелед Д.автор/составительПелед Д., найти все товары

281 руб.
нет в наличии; под заказ по предоплате (подробнее)
шт.
отложить

|