779 ₽ 649 ₽-17%Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных прогСергей Яхонтов Нет оценок КупитьУ книги пока нет отзывов — станьте первымКак вам эта книга? Написать отзыв 30 бонусов