خرید و دانلود نسخه کامل کتاب Deductive Software Verification – The KeY Book: From Theory to Practice

تأیید نرم افزار قیاسی - کتاب کلیدی: از تئوری تا عمل

Deductive Software Verification – The KeY Book: From Theory to Practice

نویسنده: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: 714

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت