Software-Intensive Systems and New Computing Paradigms 비슷한 책 더 보기
Conquering Complexity
2012년
Transactions on Foundations for Mastering Change I
2016년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Leveraging Applications of Formal Methods, Verification and Validation
2021년
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods
2016년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
Grand Timely Topics in Software Engineering
2017년
Formal Methods for Industrial Critical Systems
2018년
Hagenberg Research
2009년
Principles of Modeling
2018년
Formal Methods. FM 2019 International Workshops
2020년
Formal Methods for Eternal Networked Software Systems
2011년
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods
2018년