Clicky

Tests and Proofs by Jasmin Christian Blanchette and similar books you'll love - Bookscovery

Home > Authors > Jasmin Christian Blanchette > Tests and Proofs

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

3 Books Similar to Tests and Proofs by Jasmin Christian Blanchette

Bookscovery readers who liked Tests and Proofs also like Interactive Theorem Proving, Guide to Software Verification with Frama-C and Integrated Formal Methods. How many of these have you read?

Interactive Theorem Proving by Jasmin Christian Blanchette

Cover of Interactive Theorem Proving
Buy this book at:
Bookshop.org Amazon

Guide to Software Verification with Frama-C by Nikolai Kosmatov

Cover of Guide to Software Verification with Frama-C
Buy this book at:
Bookshop.org Amazon

Integrated Formal Methods by Nikolai Kosmatov

Cover of Integrated Formal Methods
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tests and Proofs

Please sign in to leave a comment