Clicky

From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek and similar books you'll love - Bookscovery

Home > Authors > Maurice H. ter Beek > From Software Engineering to Formal Methods and Tools, and Back

Buy at: Bookshop.org Amazon

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

Recent activity

Rate this book to see your activity here.

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

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

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

Integrated Formal Methods by Maurice H. ter Beek

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

Software Engineering for Resilient Systems by Alessandro Fantechi

Cover of Software Engineering for Resilient Systems
Buy this book at:
Bookshop.org Amazon

Quality of Information and Communications Technology by Antonia Bertolino

Cover of Quality of Information and Communications Technology
Buy this book at:
Bookshop.org Amazon

Comments and reviews of From Software Engineering to Formal Methods and Tools, and Back

Please sign in to leave a comment