Verification of Object-Oriented Software. The KeY Approach

Författare
Bernhard Beckert
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2007 Utgivningsland okänt / Ej specificerat