Software Engineering and Formal Methods More Books Like This

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