Computer Aided VerificationAhmed Bouajjani
Computer Aided Verification
Ahmed Bouajjani, Oded Maler · 2009
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
- 2009
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783642026584
Data source: Wikidata
More by Ahmed Bouajjani
Networked SystemsAhmed Bouajjani
Networked Systems
Ahmed Bouajjani · 2016
Automated Technology for Verification and AnalysisAhmed Bouajjani
Automated Technology for Verification and Analysis
Ahmed Bouajjani · 2010
Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani · 2017
Formal Techniques for Disributed Objects, Components, and SystemsAhmed Bouajjani
Formal Techniques for Disributed Objects, Components, and Systems
Ahmed Bouajjani · 2017