
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Synopse
O knize
- Jazyk:English
- ISBN:9783030643546
- Datum vydání:9. 12. 2020
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:21.65 MB
- Možnosti stahování:EPUB3 (Adobe DRM)
V této sérii
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Einar Broch Johnsen






