649 ₽766 ₽ -15%Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прогСергей Яхонтов Нет оценок Купить
