Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-030-64354-6 / 978-3030643546 / 9783030643546

Verlag: Springer International Publishing

Erscheinungsdatum: 08.12.2020

Seiten: 339

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

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück