Подробное описание документа

Кларк Э. М., Грамберг О., Пелед Д.
   Верификация моделей программ: Model Checking : пер. с англ. / Кларк Э. М., Грамберг О., Пелед Д. ; ред. пер. Смелянского Р. ; пер. Захаров В., Кончаков Р., Царьков Д. - М. : Изд-во Моск. Центра непрерывного мат. образования, 2002. - 416 с. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2.

Читать онлайн

Скачать оглавление

Аннотация

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

УДК

004.42 Программирование ЭВМ. Компьютерные программы

Предметные рубрики

• Программирование для ЭВМ

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313