Clicky

Automated Technology for Verification and Analysis by Ahmed Bouajjani and similar books you'll love - Bookscovery

Home > Authors > Ahmed Bouajjani > Automated Technology for Verification and Analysis

Buy at: Bookshop.org Amazon

Automated Technology for Verification and Analysis

Ahmed Bouajjani

Recent activity

Rate this book to see your activity here.

4 Books Similar to Automated Technology for Verification and Analysis by Ahmed Bouajjani

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

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

Verification, Model Checking, and Abstract Interpretation by Ahmed Bouajjani

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

Comments and reviews of Automated Technology for Verification and Analysis

Please sign in to leave a comment