خرید و دانلود نسخه کامل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)

استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. اقتباس و یادگیری: یازدهمین سمپوزیوم بین المللی، ISoLA 2022، رودز، ... قسمت سوم (یادداشت های سخنرانی در علوم کامپیوتر)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)

نویسنده: Tiziana Margaria (editor), Bernhard Steffen (editor)

ناشر: Springer

سال انتشار: 2022

تعداد صفحات: 483

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 23 مگابایت