Model Checking Software

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