Specification and verification of object-oriented software components

Författare
Andreas Roth
Språk
Tyska
Förlag År Ort Om boken ISBN
KIT Scientific Publishing Utgivningsland okänt / Ej specificerat