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
24-04-2026 05:26:45
SpringerLink DE
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
23-04-2026 14:52:24
