Produktbild
Wolfgang (Hrsg.) Ahrendt

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Buch

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity… Mehr

CHF 95.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Beckert, Bernhard (Hrsg.) / Ulbrich, Mattias (Hrsg.) / Hähnle, Reiner (Hrsg.) / Bubel, Richard (Hrsg.)
  • ISBN: 978-3-030-64353-9
  • EAN: 9783030643539
  • Produktnummer: 35425698
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2020
  • Seitenangabe: 352 S.
  • Masse: H23.5 cm x B15.5 cm x D1.8 cm 534 g
  • Auflage: 1st ed. 2020
  • Abbildungen: Paperback
  • Gewicht: 534

8 weitere Werke von Wolfgang (Hrsg.) Ahrendt:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.