Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Özet
Bu kitap hakkında
- Dil:English
- ISBN:9783030643546
- Yayın tarihi:9 Ara 2020
- Yayınevi:Springer International Publishing
- Baskı:Springer
- Dosya Biçimi:EPUB3
- Dosya boyutu:21.65 MB
- İndirme seçenekleri:EPUB3 (Adobe DRM)
Bu seride
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Einar Broch Johnsen
