OtiumSessione
Sessione
Non abbiamo ancora una biografia di Radu Calinescu.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Software Engineering and Formal Methods
2022
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
2016
Large-Scale Complex IT Systems. Development, Operation and Management
2012
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
2011
Software Engineering for Resilient Systems
2019
Foundations of Computer Software
2011