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