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