Bücher nach ISBN > Springer > Hähnle, Reiner

Hähnle, Reiner

Reiner Hähnle

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Verification of Object-Oriented Software: The KeY Approach978-3-54O-68977-5
(3-54O-68977-X)		2007Bernhard Beckert

Häring Roland