Software Engineering and Formal Methods Software Engineering and Formal Methods

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

    • ‏69٫99 US$
    • ‏69٫99 US$

وصف الناشر

Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٢١
٢ ديسمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٥٣٧
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٥٤٫٣
‫م.ب.‬
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
٢٠١٩
NASA Formal Methods NASA Formal Methods
٢٠٢٢
Formal Methods Formal Methods
٢٠٢١
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
٢٠٢٢
Formal Methods and Software Engineering Formal Methods and Software Engineering
٢٠٢٠
Integrated Formal Methods Integrated Formal Methods
٢٠٢٢
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
٢٠١٩
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٦
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٥
Foundations of Computer Software Foundations of Computer Software
٢٠١١