دانلود کتاب Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
| عنوان فارسی | تأیید نرمافزار قیاسی: دیدگاههای آینده: تأملی در مورد 20 سال کلید |
|---|---|
| عنوان اصلی | Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY |
| ویرایش | [1st ed.] |
| ناشر | Springer International Publishing;Springer |
| نویسنده | Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich |
| ISBN | 9783030643539, 9783030643546 |
| سال نشر | 2020 |
| زبان | English |
| تعداد صفحات | XII, 339 [345] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 12 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد