Buy Used and New Wolfgang Ahrendt Books

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

Save for later

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY: 12345 (Lecture Notes in Computer Science, 12345)

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

ISBN 13: 9783030643539

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Dec 2020

Save for later