Buy Used and New RaduCalinescu Books

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... 9509 (Lecture Notes in Computer Science)

by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

ISBN 13: 9783662492239

Format: Paperback (356 pages)
Publisher: Springer
Published: 19 Feb 2016

Save for later

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers: 7539 (Lecture Notes in Computer Science)

by Radu Calinescu, David Garlan

ISBN 13: 9783642340581

Format: Paperback (432 pages)
Publisher: Springer
Published: 14 Sep 2012

Save for later