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