Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

- Reflections on the Occasion of 20 Years of KeY

del av Programming and Software Engineering-serien

del av Lecture Notes in Computer Science-serien

Deductive Software Verification: Future Perspectives
Om Deductive Software Verification: Future Perspectives

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030643539
  • Format:
  • Häftad
  • Sidor:
  • 339
  • Utgiven:
  • 9. december 2020
  • Utgåva:
  • 12020
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 539 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 11. december 2024

Beskrivning av Deductive Software Verification: Future Perspectives

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.

Användarnas betyg av Deductive Software Verification: Future Perspectives



Andra köpte även...
Hitta liknande böcker
Boken Deductive Software Verification: Future Perspectives finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.