Books by Radu Calinescu

8 books found

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

20111 ed.

Architecture-Independent Loop Parallelisation

20112 ed.

Software Engineering and Formal Methods

20153 ed.

Architecture-Independent Loop Parallelisation (Distinguished Dissertations)

20001 ed.

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

20122 ed.

Foundations of Computer Software

20111 ed.

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

20162 ed.

Software Engineering for Resilient Systems

20191 ed.