Полное описание
> Кларк, Э. М. Верификация моделей программ: 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
Заказ фрагмента документа ₽