Поиск ведется по:
Общее количество найденных документов : 1
1. 6П2.154
Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ : научное издание / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. - М. : Радио и связь, 1988. - 256 с. - ISBN 5-256-00156-6 : 0.80 р.
ГРНТИ 50.41
УДК:004.4
Ключевые слова: ЭВМ -- верификация программ
Доп.точки доступа: Рякин, Олег Михайлович --- Ершов, А.П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ : научное издание / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. - М. : Радио и связь, 1988. - 256 с. - ISBN 5-256-00156-6 : 0.80 р.
ГРНТИ 50.41
УДК:004.4
Ключевые слова: ЭВМ -- верификация программ
Доп.точки доступа: Рякин, Олег Михайлович --- Ершов, А.П. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие