На данной странице предаставлены все книги автора «С. В. Яхонтов»
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие (С. В. Яхонтов)
Эффективные по времени и памяти алгоритмические приближения чисел и функций. Учебное пособие (Т. М. Косовская,Н. К. Косовский,С. В. Яхонтов)
