Buy Used and New Radu Calinescu Books

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science)

by Radu Calinescu,Bernhard Rumpe

ISBN 13: 9783319229683

Format: Paperback (384 pages)
Publisher: Springer
Published: 21 Aug 2015

Save for later

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)

by Radu Calinescu,Corina S. Pasareanu

ISBN 13: 9783030921231

Format: Paperback (537 pages)
Publisher: Springer
Published: 03 Dec 2021

Save for later