Radu Calinescu

도서
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2021년
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2016년
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015년
Foundations of Computer Software Foundations of Computer Software
Foundations of Computer Software
2011년