Clicky

Tools and Algorithms for the Construction and Analysis of Systems by Erika Abraham and similar books you'll love - Bookscovery

Home > Authors > Erika Abraham > Tools and Algorithms for the Construction and Analysis of Systems

Buy at: Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems

Erika Abraham, Klaus Havelund

Recent activity

Rate this book to see your activity here.

4 Books Similar to Tools and Algorithms for the Construction and Analysis of Systems by Erika Abraham

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems also like At The Pinnacle, Theory and Practice of Formal Methods and Formal Methods. 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

Theory and Practice of Formal Methods by Erika Abraham

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

Formal Methods by Klaus Havelund

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

Model Checking Software by Klaus Havelund

Cover of Model Checking Software
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tools and Algorithms for the Construction and Analysis of Systems

Please sign in to leave a comment