Яхонтов С. В.

С. В. Яхонтов

Произведения автора2

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

 

Нет в продаже

бумажная книга

Современные методы и...

С. В. Яхонтов

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

0 отзывов

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

 

Нет в продаже

бумажная книга

Эффективные по времени...

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

Учебное пособие содержит подробное обсуждение алгоритмических вещественных и комплексных чисел и...

0 отзывов