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