Software Engineering and Formal Methods Radu Calinescu & Corina S. Păsăreanu: другие книги

Software Engineering for Resilient Systems

2019

Software Engineering and Formal Methods

2016

Software Engineering and Formal Methods

2015

Foundations of Computer Software

2011