کتاب تأیید صوری سختافزار با ACL2: از منطق تا مدارهای اثباتشده
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان