Concise Guide to Software VerificationMarieke Huisman
Concise Guide to Software Verification
Marieke Huisman, Anton Wijs · 2023
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2023
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 2
- ISBN
- 9783031301667
Data source: Wikidata
More by Marieke Huisman
Tests and ProofsMarieke Huisman
Tests and Proofs
Marieke Huisman · 2024
Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman · 2023
Formal MethodsMarieke Huisman
Formal Methods
Marieke Huisman · 2021
Fundamental Approaches to Software EngineeringMarieke Huisman
Fundamental Approaches to Software Engineering
Marieke Huisman · 2017
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Marieke Huisman · 2009