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

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

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

$57.46

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 351
Edition: 1st ed. 2020
Publisher: Springer
Published: 09 Dec 2020

ISBN 10: 3030643530
ISBN 13: 9783030643539