Clicky

Formal Methods for Industrial Critical Systems by Maurice H. ter Beek and similar books you'll love - Bookscovery

Home > Authors > Maurice H. ter Beek > Formal Methods for Industrial Critical Systems

Buy at: Bookshop.org Amazon

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

Recent activity

Rate this book to see your activity here.

2 Books Similar to Formal Methods for Industrial Critical Systems by Maurice H. ter Beek

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

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

Runtime Verification by Jyotirmoy Deshmukh

Cover of Runtime Verification
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods for Industrial Critical Systems

Please sign in to leave a comment