Н 53 Непомнящий, Валерий Александрович. Прикладные методы верификации программ [Текст] : монография / В. А. Непомнящий, О. М. Рякин ; под ред. А. П. Ершова. - Москва : Радио и связь, 1988. - 256 с. ; 22 см. - Библиогр.: с. 252 -254. - 10000 экз.. - ISBN 5-256-00156-6 (в пер.) : 1.10 р. Рубрики: обслуживающие программы Кл.слова (ненормированные): методология -- алгоритмические языки -- верификация программ -- программы тестовые -- вычислительные машины электронные Доп.точки доступа: Рякин, Олег Михайлович; Ершов, А. П. \под ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |