Software Engineering and Formal Methods More Books by Radu Calinescu & Bernhard Rumpe

Software Engineering and Formal Methods

2021

Software Engineering for Resilient Systems

2019

Software Engineering and Formal Methods

2016

Foundations of Computer Software

2011