Software Engineering for Resilient Systems 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