Home > Authors > Andrew Reynolds > Verified Software. Theories, Tools and Experiments

Buy at: Bookshop.org Amazon

Verified Software. Theories, Tools and Experiments

Andrew Reynolds, Serdar Tasiran

Recent activity

Rate this book to see your activity here.

2 Books Similar to Verified Software. Theories, Tools and Experiments by Andrew Reynolds

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

Computer Aided Verification by Isil Dillig

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

Runtime Verification by Shaz Qadeer

Cover of Runtime 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 Verified Software. Theories, Tools and Experiments

Please sign in to leave a comment