Formal Methods for Hardware Verification

Författare
Marco Bernardo
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2006 Utgivningsland okänt / Ej specificerat