Modular Specification and Verification of Object-Oriented Programs electronic resource / by Peter Müller

Författare
Peter. author. Müller
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat