Яхонтов Сергей

Сергей Яхонтов


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

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

 

Нет в продаже

электронная книга

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

Сергей Яхонтов

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

0 отзывов