Clicky

Computer Aided Verification by Gerard Berry and similar books you'll love - Bookscovery

Home > Authors > Gerard Berry > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Gerard Berry, Hubert Comon, Alain Finkel

Recent activity

Rate this book to see your activity here.

2 Books Similar to Computer Aided Verification by Gerard Berry

Bookscovery readers who liked Computer Aided Verification also like Compiling ESTEREL, and Reachability Problems. How many of these have you read?

Compiling ESTEREL by Dumitru Potop-Butucaru

Cover of Compiling ESTEREL
Buy this book at:
Bookshop.org Amazon

Reachability Problems by Alain Finkel

Cover of Reachability Problems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment