دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی (یادداشت های سخنرانی در علوم کامپیوتر)
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)
ویرایش: [1st ed. 2021]
نویسندگان: Tiziana Margaria (editor). Bernhard Steffen (editor)
سری:
ISBN (شابک) : 3030891585, 9783030891589
ناشر: Springer
سال نشر: 2021
تعداد صفحات: 516
[505]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 29 Mb
قیمت کتاب (تومان) : 53,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Birth of a Colonial City: Calcutta
دانلود کتاب Finanzverwaltung und Gesetzesvollzug: Anforderungen, Probleme und Vorgehen der Steuerverwaltung bei der Anwendung steuerrechtlicher Normen
