Полное описание

Кларк, Э. М. Верификация моделей программ: Model Checking / Э.М.Кларк,О.Грамберг,Д.Пелед;Пер.с англ.В.Захарова и др.;Под ред.Смелянского. - М. : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. - Пер. изд. : Model Checking / E. M. Clarke, O. Grumberg, D. Peleed. - Cambridge, 1999. - 1000 экз. - ISBN 5-94057-054-2. - Текст : непосредственный.
Библиогр.:с.377-399 (251 назв.)

ГРНТИ	УДК
50.05.13	004.415.5

Рубрики:
Программы для ЭВМ -- Верификация

Кл.слова (ненормированные): ВЕРИФИКАЦИЯ -- ПРОГРАММА -- ЭВМ
Доп. точки доступа:
Грамберг, О.
Пелед, Д.
Clarke, E. M.
Grumberg, O.
Peleed, D.

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-02/82957)

Шифр в сводном ЭК: 0460a922e88ec55e37384fab869c523d

Заказать издание
Заказ фрагмента документа