دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Radiotherapy for Head and Neck Cancers: Indications and Techniques, 3rd Edition
دانلود کتاب Multivariable predictive control : applications in industry
دانلود کتاب From Court to Forest: Giambattista Basile’s Lo cunto de li cunti and the Birth of the Literary Fairy Tale
دانلود کتاب Economic Factors in Population Growth: Proceedings of a Conference held by the International Economic Association at Valescure, France
