فلشکارتهای آموزشی اثبات ناورداییهای سیستم و صحت برنامهها با ACL2 از مبانی تا تکنیکهای پیشرفته
299,950 تومان
در صورت خرید اقساطی هر قسط: 74,988 تومان
