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