Books by Radu Calinescu

Cover of Software Engineering and Formal Methods

Software Engineering and Formal Methods

by Radu Calinescu, Bernhard Rumpe

2015

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

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

by Radu Calinescu, David Garlan

2012

Cover of Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

2016

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

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

by Radu Calinescu

2011

Cover of Architecture-Independent Loop Parallelisation (Distinguished Dissertations)

Architecture-Independent Loop Parallelisation (Distinguished Dissertations)

by Radu C. Calinescu

2000

Can't find the book you're looking for? Let us know — it helps us improve.