Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Inga betyg ännu
Dec 9, 2020 · Engelska · Pocketbok (352 sidor)
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal

Recensioner

Inga recensioner ännu

Bli den första att recensera denna bok och dela dina tankar

Logga in för att recensera
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal