Сергей Викторович Яхонтов

Книг в каталоге: 2

Книги автора

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

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

Сергей Викторович Яхонтов

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

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

Сергей Викторович Яхонтов