کتاب اصول و روشهای پیشرفته در تحلیل خودکار صحت ساختار دادهها با استفاده از منطق SMT
349,950 تومان
در صورت خرید اقساطی هر قسط: 87,488 تومان