Software Engineering and Formal Methods 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