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