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