Clicky

Formal Methods by Klaus Havelund and similar books you'll love - Bookscovery

Home > Authors > Klaus Havelund > Formal Methods

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

3 Books Similar to Formal Methods by Klaus Havelund

Bookscovery readers who liked Formal Methods also like Model Checking Software, Tools and Algorithms for the Construction and Analysis of Systems and The modelling and analysis of security protocols. How many of these have you read?

Model Checking Software by Klaus Havelund

Cover of Model Checking Software
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

The modelling and analysis of security protocols by Peter Ryan PhD

Cover of The modelling and analysis of security protocols
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods

Please sign in to leave a comment