English  Русский 
Валюта:
Каталог
Поиск
Версия для печати Версия для печати

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

: 5-94057-054-2
: 416
: МЦНМО
: 2002
: Кларк Э. М., Грамберг мл. О., Пелед Д.
Оценить
220.00 руб.
На складе: да
Кол-во:  

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

Есть вопросы?

Вы можете задать нам вопрос(ы) с помощью следующей формы.

Имя:

Email

Пожалуйста, сформулируйте Ваши вопросы относительно Верификация моделей программ: Model checking:


Введите число, изображенное на рисунке
code

(пусто)
 
Блог / Новости
Голосование
Какие категории литературы вас интересуют?


© Карандаш.
Создание интернет магазина — Сайт.ру