👤

Radu Calinescu

4 books

Books by Radu Calinescu

Software Engineering for Resilient Systems
Software Engineering for Resilient Systems
2019
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
2016
Large-Scale Complex IT Systems. Development, Operation and Management
Large-Scale Complex IT Systems. Development, Operation and Management
2012
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
2011