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

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

407 руб.