Verification of Object-Oriented Software: The KeY Approach: Foreword by K. Rustan M. Leino
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Verification of Object-Oriented Software: The KeY Approach (Lecture Notes in Computer Science)
Medimops DE
02-10-2026 21:36:19
Gesponsert
Hugendubel
Verification of Object-Oriented Software. The KeY Approach
Hugendubel
02-10-2026 00:56:33
Gesponsert
Galaxus.de
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Galaxus.de
29-09-2026 23:45:28
Gesponsert
SpringerLink DE
Verification of Object-Oriented Software. The KeY Approach
SpringerLink DE
03-10-2026 09:09:37
