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