Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings: 9360 (Lecture Notes in Computer Science)
by Roland Meyer, André Platzer, Heike Wehrheim
ISBN 13: 9783319235059
Format: Paperback (292 pages) Publisher: Springer Published: 06 Oct 2015
Save for later
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings: 12165 (Lecture Notes in Computer Science)
by Wolfgang Ahrendt, Heike Wehrheim
ISBN 13: 9783030509941
Format: Paperback (196 pages) Publisher: Springer Published: 20 Jun 2020
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and ... 12076 (Lecture Notes in Computer Science)
by Heike Wehrheim, Jordi Cabot
ISBN 13: 9783030452339
Format: Paperback (568 pages) Publisher: Springer Published: 21 Apr 2020
Fundamental Approaches to Software Engineering
ISBN 13: 9781013277177
Format: Hardcover (560 pages) Publisher: Saint Philip Street Press Published: 09 Oct 2020