مشخصات کتاب

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

ویرایش:  
نویسندگان: Shang-Wei Lin,  Zhe Hou,  Brendan Mahoney  
سری: Lecture Notes in Computer Science, 12531 
ISBN (شابک) : 3030634051, 9783030634056 
ناشر: Springer Singapore 
سال نشر: 2021 
تعداد صفحات: 335
[336] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 Mb 

در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی و مهندسی نرم‌افزار: بیست و دومین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2020، سنگاپور، سنگاپور، 1 تا 3 مارس 2021، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌های رسمی و مهندسی نرم‌افزار: بیست و دومین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2020، سنگاپور، سنگاپور، 1 تا 3 مارس 2021، مجموعه مقالات

این کتاب مجموعه مقالات بیست و دومین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2020 است که در مارس 2021 در سنگاپور، سنگاپور برگزار شد. از 41 ارسال این مقالات تئوری و کاربردها در روش‌های مهندسی رسمی را همراه با مطالعات موردی پوشش می‌دهند. آنها همچنین نشان دهنده پیشرفت اخیر در استفاده و توسعه روش های مهندسی رسمی برای توسعه نرم افزار و سیستم هستند.

توضیحاتی درمورد کتاب به خارجی

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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Sustainable Development in der Neoklassik und im Institutionalismus: Mit einer praktischen Anwendung am Beispiel der Regenwaldproblematik Amazoniens

دانلود کتاب Information Dynamics: Foundations and Applications

دانلود کتاب You're Dad: A Little Book for Fathers (And the People Who Love Them)

دانلود کتاب Defense of the Scientific Hypothesis: From Reproducibility Crisis to Big Data

دانلود کتاب Absolutely, Positively