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

    • US$69.99
    • US$69.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2021년
12월 2일
언어
EN
영어
길이
537
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
54.3
MB
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019년
NASA Formal Methods NASA Formal Methods
2022년
Formal Methods Formal Methods
2021년
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2022년
Formal Methods and Software Engineering Formal Methods and Software Engineering
2020년
Integrated Formal Methods Integrated Formal Methods
2022년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2016년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2015년
Foundations of Computer Software Foundations of Computer Software
2011년