Tests and ProofsMarieke Huisman
Tests and Proofs
Marieke Huisman, Falk Howar · 2024
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
- 2024
- Language
- English
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783031720437
Data source: Wikidata
More by Marieke Huisman
Concise Guide to Software VerificationMarieke Huisman
Concise Guide to Software Verification
Marieke Huisman · 2023
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