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