Software Engineering for Resilient Systems More Books by Radu Calinescu & Felicita Di Giandomenico

Software Engineering and Formal Methods

2021

Software Engineering and Formal Methods

2016

Software Engineering and Formal Methods

2015

Foundations of Computer Software

2011