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