Formal Equivalence Checking and Design Debugging

Författare
Huang
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer US 1998 Utgivningsland okänt / Ej specificerat