کتاب صوتی تأیید صوری سختافزار با ACL2: از منطق تا مدارهای اثباتشده
499,850 تومان
در صورت خرید اقساطی هر قسط: 124,963 تومان