Radu Calinescu
· 6 obras en el catálogo
Obras

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods

Software Engineering for Resilient Systems

Large-Scale Complex IT Systems. Development, Operation and Management
