Software Engineering and Formal Methods More Books Like This

Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2018
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2014
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2019
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2014
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2020
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
2009
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2018
Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
2011
Runtime Verification Runtime Verification
Runtime Verification
2017
Runtime Verification Runtime Verification
Runtime Verification
2018
Tests and Proofs Tests and Proofs
Tests and Proofs
2018