Gå direkt till innehållet
Deductive Software Verification: Future Perspectives
Spara

Deductive Software Verification: Future Perspectives

Lägsta pris på PriceRunner
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.

Undertitel
Reflections on the Occasion of 20 Years of KeY
Upplaga
1st ed. 2020
ISBN
9783030643539
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2020-12-09
Sidor
339