Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
53.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
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
07-06-2026 07:32:02
SpringerLink DE
Gesponsert
Galaxus.de
Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Wolfgang Ahrendt, Richard Bubel
Galaxus.de
07-06-2026 13:24:35
