Software Engineering and Formal Methods Mehr Bücher von 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