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

Д8-02/82957
Кларк, Э. М. Верификация моделей программ: 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.

Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

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