A496397-ОХФ Workshop on Programm Comprehension (1993 ; Capri). IEEE Second Workshop on Programm Comprehension: Proceedings July 8-9, 1993 Capri, Italy [Текст] : научное издание / Workshop on Programm Comprehension (1993 ; Capri) . - Washington a. o. : IEEE Computer Society Press, 1993. - 193 p. : fig. - Bibliogr. - ISBN 0-8186-4042-1 : Б. ц.
Рубрики: математика--вычислительная математика Кл.слова (ненормированные): сопровождение программ -- программное обеспечение -- декодирование программ -- модели программ Экземпляры всего: 1 ОХФ (1) |
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) |