دانلود کتاب 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، مجموعه مقالات، قسمت دوم نسخه زبان اصلی
دانلود کتاب استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: اصول مهندسی: نهمین سمپوزیوم بین المللی در مورد استفاده از روش های رسمی، 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
نام کتاب : 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.
عنوان ترجمه شده به فارسی : استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی: اصول مهندسی: نهمین سمپوزیوم بین المللی در مورد استفاده از روش های رسمی، ISoLA 2020، رودس، یونان، 20 تا 30 اکتبر 2020، مجموعه مقالات، قسمت دوم
سری : Lecture Notes in Computer Science 12477
نویسندگان : Tiziana Margaria, Bernhard Steffen
ناشر : Springer International Publishing;Springer
سال نشر : 2020
تعداد صفحات : XV, 544
[556]
ISBN (شابک) : 9783030614690 , 9783030614706
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 32 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی