Home > Authors > Maurice H. ter Beek > Integrated Formal Methods

Buy at: Bookshop.org Amazon

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

Recent activity

Rate this book to see your activity here.

5 Books Similar to Integrated Formal Methods by Maurice H. ter Beek

Bookscovery readers who liked Integrated Formal Methods also like Architecting Dependable Systems VI, Formal Methods for Industrial Critical Systems and From Software Engineering to Formal Methods and Tools, and Back. How many of these have you read?

Architecting Dependable Systems VI by Rogério de Lemos

Cover of Architecting Dependable Systems VI
Buy this book at:
Bookshop.org Amazon

Formal Methods for Industrial Critical Systems by Maurice H. ter Beek

Cover of Formal Methods for Industrial Critical Systems
Buy this book at:
Bookshop.org Amazon

From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek

Cover of From Software Engineering to Formal Methods and Tools, and Back
Buy this book at:
Bookshop.org Amazon

Debate by Rosemary Monahan

Cover of Debate
Buy this book at:
Bookshop.org Amazon

Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs by Rosemary Monahan

Cover of Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Integrated Formal Methods

Please sign in to leave a comment