Home > Authors > Roderick Bloem > Hardware and Software : Verification and Testing

Buy at: Bookshop.org Amazon

Hardware and Software : Verification and Testing

Roderick Bloem, Eli Arbel

Recent activity

Rate this book to see your activity here.

2 Books Similar to Hardware and Software : Verification and Testing by Roderick Bloem

Bookscovery readers who liked Hardware and Software : Verification and Testing also like Computer Aided Verification, and Handbook of Model Checking. How many of these have you read?

Computer Aided Verification by Armin Biere

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

Handbook of Model Checking by Edmund M. Clarke

Cover of Handbook of Model Checking

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 Hardware and Software : Verification and Testing

Please sign in to leave a comment