Книги автора «С. В. Яхонтов»

На данной странице предаставлены все книги автора «С. В. Яхонтов»

Зарегистрироваться на сайте Подробнее
Какие книги написал «С. В. Яхонтов»

Книги

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие

Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие (С. В. Яхонтов)

Эффективные по времени и памяти алгоритмические приближения чисел и функций. Учебное пособие

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