Deductive Software Verification – The KeY Book: From Theory to Practice
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)
Medimops DE
29-09-2026 10:59:05
Gesponsert
Galaxus.de
Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Bernhard Beckert
Galaxus.de
29-09-2026 10:54:22
Hugendubel 
SpringerLink DE 
