دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: اصول مهندسی: نهمین سمپوزیوم بین المللی در مورد استفاده از روش های رسمی، ISoLA 2020، رودس، یونان، 20 تا 30 اکتبر 2020، مجموعه مقالات، قسمت دوم
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
ویرایش: [1st ed.]
نویسندگان: Tiziana Margaria. Bernhard Steffen
سری: Lecture Notes in Computer Science 12477
ISBN (شابک) : 9783030614690, 9783030614706
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: XV, 544
[556]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 32 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: اصول مهندسی: نهمین سمپوزیوم بین المللی در مورد استفاده از روش های رسمی، ISoLA 2020، رودس، یونان، 20 تا 30 اکتبر 2020، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
