Каталог библиотеки БГТУ

1. Базы данных
2. Книги
3. Авторы
4. Непомнящий, Валерий Александрович

Книги. Авторы - Непомнящий, Валерий Александрович

• Прикладные методы верификации программ
  Непомнящий, Валерий Александрович, Рякин, Олег Михайлович
  
  Прикладные методы верификации программ, [Текст], под ред. А. П. Ершова Москва : Радио и связь , 1988 .- 255, [1] c. .- ил.