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