📚 Информационные технологии

издательство «Издательский дом Санкт-Петербургского государственного университета»

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