Clicky

Computer Aided Verification by Ahmed Bouajjani and similar books you'll love - Bookscovery

Home > Authors > Ahmed Bouajjani > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Ahmed Bouajjani, Oded Maler

Recent activity

Rate this book to see your activity here.

6 Books Similar to Computer Aided Verification by Ahmed Bouajjani

Bookscovery readers who liked Computer Aided Verification also like Automated Technology for Verification and Analysis, Formal Techniques for Disributed Objects, Components, and Systems and Networked 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

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

Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Hybrid Systems Biology by Oded Maler

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

Verification and Synthesis of Hybrid Systems by Eugine Asarin

Cover of Verification and Synthesis of Hybrid Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment