Grand Timely Topics in Software Engineering 비슷한 책 더 보기
Transactions on Foundations for Mastering Change I
2016년
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
Leveraging Applications of Formal Methods, Verification and Validation
2021년
Formal Methods. FM 2019 International Workshops
2020년
Software Technologies: Applications and Foundations
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
Software Technologies
2019년
From Software Engineering to Formal Methods and Tools, and Back
2019년
Modelling Foundations and Applications
2018년
Software Technologies
2016년
Reuse in Emerging Software Engineering Practices
2020년
Evaluation of Novel Approaches to Software Engineering
2020년
Perspectives of System Informatics
2019년
SDL 2015: Model-Driven Engineering for Smart Cities
2015년
Verified Software: Theories, Tools, Experiments
2008년