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