Home > Authors > Arie Gurfinkel > Verified Software : Theories, Tools, and Experiments

Buy at: Bookshop.org Amazon

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia

Recent activity

Rate this book to see your activity here.

2 Books Similar to Verified Software : Theories, Tools, and Experiments by Arie Gurfinkel

Bookscovery readers who liked Verified Software : Theories, Tools, and Experiments also like Computer Aided Verification, and Introduction to Embedded Systems. How many of these have you read?

Computer Aided Verification by Arie Gurfinkel

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

Introduction to Embedded Systems by Edward A. Lee

Cover of Introduction to Embedded Systems

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 Verified Software : Theories, Tools, and Experiments

Please sign in to leave a comment