دانلود کتاب Leveraging applications of formal methods, verification and validation
by Tiziana Margaria-Steffen, Bernhard Steffen
|
عنوان فارسی: برنامه های کاربردی اعمال نفوذ از روش های رسمی ، تأیید و اعتبار |