Bücher nach ISBN > Springer > Reiner (Editor) Hähnle

Reiner (Editor) Hähnle

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Verification of Object-Oriented Software: The KeY Approach978-3-54O-68977-5
(3-54O-68977-X)		2008

E.H. · R. E. · R. H. · Reiner Hähnle

Reiner Effinger