کتاب معناشناسی جبری سیستمهای ترکیبی: از مبانی ریاضی تا اثبات صحت خودکار
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان