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