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