Radu Calinescu
Radu Calinescu
5 books in the database
Books
Software Engineering and Formal MethodsRadu Calinescu
Software Engineering and Formal Methods
Radu Calinescu · 2015
Large-Scale Complex IT Systems. Development, Operation and ManagementRadu Calinescu
Large-Scale Complex IT Systems. Development, Operation and Management
Radu Calinescu · 2012
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive SystemsRadu Calinescu
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Radu Calinescu · 2011
Software Engineering for Resilient SystemsRadu Calinescu
Software Engineering for Resilient Systems
Radu Calinescu · 2019
Foundations of Computer SoftwareRadu Calinescu
Foundations of Computer Software
Radu Calinescu · 2011
Co-authored books and collections
Books that list Radu Calinescu among their authors but not as the lead author: co-written works, collections and compilations.
