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

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

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

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

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

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

Имя:

Email

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


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

(пусто)
 
Блог / Новости
20.11.2018 11:40:31
04.10.2018 10:28:38
18.09.2018 15:54:58
05.07.2018 12:34:34
09.06.2018 15:32:07
Подписаться на новости:
или RSS 2.0
Голосование
Какие категории литературы вас интересуют?


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