خرید و دانلود نسخه کامل کتاب Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science)

مهندسی نرم افزار و روش های رسمی: بیستمین کنفرانس بین المللی، SEFM 2022، برلین، آلمان، 26 تا 30 سپتامبر 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science)

نویسنده: Bernd-Holger Schlingloff (editor), Ming Chai (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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