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