A961086-ОХФ, A961087-ОХФ Кларк, Эдмунд М. (мл.). Верификация моделей программ: Model Checking [Текст] = Model Checking : [монография] / Э. М. Кларк, О. Грамберг, Д. Пелед ; пер. с англ. В. Захарова, Р. Кончакова, Д. Царькова под ред. Р. Смелянского. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. : рис. - Предм. указ.: с. 400-416. - Библиогр.: с. 377-399. - ISBN 5-94057-054-2 (рус.) (в пер.). - ISBN 0-262-03270-8 (англ.) : 115.00 р.
Рубрики: вычислительная техника--программирование Кл.слова (ненормированные): верификация -- model checking -- модели программ -- автоматизация Доп. точки доступа: Грамберг, Орна Пелед, Дорон Захаров, В. Кончаков, Р. Царьков, Д. Смелянский, Р. Экземпляры всего: 2 ОХФ (2) |