Книга
110-а 6421

Непомнящий, Валерий Александрович.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; под ред.: А. П. Ершов. – М. : Радио и связь, 1988. – 256 с. : рис., табл.
Библиогр.:с.252-254(60 назв.) и в подстроч. примеч.



1223476 ОФ