Software Engineering and Formal Methods More Books by Einar Broch Johnsen & Ina Schaefer

Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
2024
The Logic of Software. A Tasting Menu of Formal Methods The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods
2022
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2017
Tests and Proofs Tests and Proofs
Tests and Proofs
2017
Service-Oriented and Cloud Computing Service-Oriented and Cloud Computing
Service-Oriented and Cloud Computing
2016
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016
Formal Methods for Multicore Programming Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
2015