Home > Authors > Dumitru Potop-Butucaru > Compiling ESTEREL

Buy at: Bookshop.org Amazon

Compiling ESTEREL

Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry

Recent activity

Rate this book to see your activity here.

1 Book Similar to Compiling ESTEREL by Dumitru Potop-Butucaru

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

Computer Aided Verification by Gerard Berry

Cover of Computer Aided Verification

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Compiling ESTEREL

Please sign in to leave a comment