Книги автора «Сергей Викторович Яхонтов»

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