Paperback Book
Show unavailable items

Releases by Radu Calinescu

May 23, 2011 – August 21, 2015

Cover for Radu Calinescu · Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2015 edition] (2015)

1st ed. 2015 edition

Software Engineering and Formal ... (2015)

Cover for Radu Calinescu · Large-scale Complex It Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, Uk, March 19-21 2012 : Revised Selected Papers - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2012)

Large-scale Complex It Systems. ... (2012)

Cover for Radu Calinescu · Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, Usa, Wa, Usa, March 31-april 2, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) (2011)

Foundations of Computer Software... (2011)