Formal Equivalence Checking and Design Debugging

Författare
Shi-Yu Huang
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1998 Utgivningsland okänt / Ej specificerat