[email protected]
Название: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ
Автор: Сергей Яхонтов
Серия:
Жанр: Учебная литература
