Software Engineering and Formal Methods 비슷한 책 더 보기

Software Technologies: Applications and Foundations Software Technologies: Applications and Foundations
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016년
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2021년
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2018년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015년
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020년
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2017년
Cyber Physical Systems. Model-Based Design Cyber Physical Systems. Model-Based Design
Cyber Physical Systems. Model-Based Design
2019년
Software Technologies Software Technologies
Software Technologies
2017년
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development
2018년
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
New Trends in Model and Data Engineering
2019년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018년
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2020년
Intelligent Software Methodologies, Tools and Techniques Intelligent Software Methodologies, Tools and Techniques
Intelligent Software Methodologies, Tools and Techniques
2015년