Clicky

Theory and Practice of Formal Methods by Erika Abraham and similar books you'll love - Bookscovery

Home > Authors > Erika Abraham > Theory and Practice of Formal Methods

Buy at: Bookshop.org Amazon

Theory and Practice of Formal Methods

Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue

Recent activity

Rate this book to see your activity here.

7 Books Similar to Theory and Practice of Formal Methods by Erika Abraham

Bookscovery readers who liked Theory and Practice of Formal Methods also like At The Pinnacle, Tools and Algorithms for the Construction and Analysis of Systems and Formal Methods for Executable Software Models. How many of these have you read?

At The Pinnacle by Erika Abraham

Cover of At The Pinnacle
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Erika Abraham

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

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

Tests and Proofs by Sebastian Gabmeyer

Cover of Tests and Proofs
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Theory and Practice of Formal Methods

Please sign in to leave a comment