Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Hugendubel
Gesponsert
Galaxus.de
Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Wolfgang Ahrendt, Richard Bubel
Galaxus.de
29-10-2026 14:48:55
Gesponsert
Medimops DE
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Medimops DE
28-10-2026 15:35:21
SpringerLink DE 
