کتاب اصول و کاربرد گواهیهای اثبات در حلکنندههای منطقی (SMT) برای ارتقای امنیت و صحت سیستمهای نرمافزاری
249,950 تومان
در صورت خرید اقساطی هر قسط: 62,488 تومان