دانلود کتاب Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Name: Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Availability: InStock
Author: Shang-Wei Lin
ISBN: 3030634051,9783030634056

by Shang-Wei Lin, Zhe Hou, Brendan Mahoney

عنوان فارسی: روشهای رسمی و مهندسی نرم افزار: بیست و دومین کنفرانس بین المللی روشهای مهندسی رسمی ، ICFEM 2020 ، سنگاپور ، سنگاپور ، 1 تا 3 مارس 2021 ، مجموعه مقالات
ناشر: Springer Singapore
سال: 2021
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 335-336
شابک: 3030634051,9783030634056
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 12.29 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.