Clicky

Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani and similar books you'll love - Bookscovery

Home > Authors > Ahmed Bouajjani > Verification, Model Checking, and Abstract Interpretation

Buy at: Bookshop.org Amazon

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

Recent activity

Rate this book to see your activity here.

4 Books Similar to Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani

Bookscovery readers who liked Verification, Model Checking, and Abstract Interpretation also like Automated Technology for Verification and Analysis, Computer Aided Verification and Formal Techniques for Disributed Objects, Components, and Systems. How many of these have you read?

Automated Technology for Verification and Analysis by Ahmed Bouajjani

Cover of Automated Technology for Verification and Analysis
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification by Ahmed Bouajjani

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Formal Techniques for Disributed Objects, Components, and Systems by Ahmed Bouajjani

Cover of Formal Techniques for Disributed Objects, Components, and Systems
Buy this book at:
Bookshop.org Amazon

Networked Systems by Ahmed Bouajjani

Cover of Networked Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Verification, Model Checking, and Abstract Interpretation

Please sign in to leave a comment