Clicky

Tests and Proofs by Sebastian Gabmeyer and similar books you'll love - Bookscovery

Home > Authors > Sebastian Gabmeyer > Tests and Proofs

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

5 Books Similar to Tests and Proofs by Sebastian Gabmeyer

Bookscovery readers who liked Tests and Proofs also like Formal Methods for Executable Software Models, Formal Methods for Multicore Programming and Logic of Software. a Tasting Menu of Formal Methods. How many of these have you read?

Formal Methods for Executable Software Models by Marco Bernardo

Cover of Formal Methods for Executable Software Models
Buy this book at:
Bookshop.org Amazon

Formal Methods for Multicore Programming by Marco Bernardo

Cover of Formal Methods for Multicore Programming
Buy this book at:
Bookshop.org Amazon

Logic of Software. a Tasting Menu of Formal Methods by Wolfgang Ahrendt

Cover of Logic of Software. a Tasting Menu of Formal Methods
Buy this book at:
Bookshop.org Amazon

Service-Oriented and Cloud Computing by Flavio De Paoli

Cover of Service-Oriented and Cloud Computing
Buy this book at:
Bookshop.org Amazon

Theory and Practice of Formal Methods by Erika Abraham

Cover of Theory and Practice of Formal Methods
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tests and Proofs

Please sign in to leave a comment