Clicky

Computer Aided Verification by Isil Dillig and similar books you'll love - Bookscovery

Home > Authors > Isil Dillig > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Recent activity

Rate this book to see your activity here.

3 Books Similar to Computer Aided Verification by Isil Dillig

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

Verification, Model Checking, and Abstract Interpretation by Isil Dillig

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Runtime Verification by Shaz Qadeer

Cover of Runtime Verification
Buy this book at:
Bookshop.org Amazon

Verified Software. Theories, Tools and Experiments by Andrew Reynolds

Cover of Verified Software. Theories, Tools and Experiments
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment