Software Safety and Security - Tools for Analysis and Verification

Författare
T. Nipkow
Språk
Engelska
Förlag År Ort Om boken ISBN
IOS Press 2012 Utgivningsland okänt / Ej specificerat, Amsterdam