Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani, David Monniaux · 2017
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
- 2017
- Publisher
- Springer
- Editions
- 1
- Pages
- 577
- ISBN
- 9783319522333
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
Formal Techniques for Disributed Objects, Components, and SystemsAhmed Bouajjani
Formal Techniques for Disributed Objects, Components, and Systems
Ahmed Bouajjani · 2017
Computer Aided VerificationAhmed Bouajjani
Computer Aided Verification
Ahmed Bouajjani · 2009