Peter M??ller

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Modular Specification and Verification of Object-Oriented Programs978-3-54O-43167-1
(3-54O-43167-5)
2008

M.-L. · P.M. · Peter L. · Peter M. · Rolf-Peter M Ller

Peter M. Löschner