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
07-06-2026 08:08:22
Gesponsert
SpringerLink DE
Verification of Object-Oriented Software. The KeY Approach
SpringerLink DE
07-06-2026 03:47:12
Gesponsert
Galaxus.de
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Galaxus.de
06-06-2026 14:02:47
