دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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.] نویسندگان: 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
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم‌افزار قیاسی: دیدگاه‌های آینده: تأملی در مورد 20 سال کلید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب به من بگو خدا چه جوریه
دانلود کتاب Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
دانلود کتاب Knowledge Synthesis: Western and Eastern Cultural Perspectives
