О. М. Рякин: Полный список книг

О. М. Рякин: список всех книг (1)

Прикладные методы верификации программ - В. А. Непомнящий, О. М. Рякин

Прикладные методы верификации программ

В. А. Непомнящий, О. М. Рякин

1988