مشخصات کتاب

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

ویرایش: [1st ed.] 
نویسندگان: Wolfgang Ahrendt,  Bernhard Beckert,  Richard Bubel,  Reiner Hähnle,  Mattias Ulbrich  
سری: Lecture Notes in Computer Science 12345 
ISBN (شابک) : 9783030643539, 9783030643546 
ناشر: Springer International Publishing;Springer 
سال نشر: 2020 
تعداد صفحات: XII, 339
[345] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 Mb 

در صورت تبدیل فایل کتاب Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید نرم‌افزار قیاسی: دیدگاه‌های آینده: تأملی در مورد 20 سال کلید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Rise of the Therapeutic State (The City in the Twenty-First Century Book Series)

دانلود کتاب Women and Popular Music: Sexuality, Identity and Subjectivity

دانلود کتاب Controllability and Optimization: Lectures Held at the Department for Automation and Information September – October 1969

دانلود کتاب WirtschaftsWoche 22 2013

دانلود کتاب The Metaphysics of Practice : Writings on Action, Community, and Obligation