Noch Fragen? 0800 / 33 82 637

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Produktform: Buch / Einband - flex.(Paperback)

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-030-64353-9 / 978-3030643539 / 9783030643539

Verlag: Springer International Publishing

Erscheinungsdatum: 09.12.2020

Seiten: 339

Auflage: 1

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

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück