Author

Radu Calinescu

6 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

6 books
Foundations of Computer Software

Foundations of Computer Software

Year unknown Radu Calinescu and Ethan Jackson
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

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

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

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

Year unknown Radu Calinescu and David Garlan
Software Engineering and Formal Methods

Software Engineering and Formal Methods

Year unknown Radu Calinescu and Bernhard Rumpe
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Year unknown Domenico Bianculli, Radu Calinescu, and Bernhard Rumpe
Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

Year unknown Radu Calinescu and Felicita Di Giandomenico

Fetched from OpenLibrary. Some translations may appear as separate works.