С. В. Яхонтов: Полный список книг

С. В. Яхонтов: список всех книг (2)

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

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

С. В. Яхонтов

2014

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

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

С. В. Яхонтов, Н. К. Косовский, Т. М. Косовская

2012