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

Детские книги/Учебная литература

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