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.

5 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 Architecting Dependable Systems VI, Formal Methods for Industrial Critical Systems and Integrated Formal Methods. 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

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