Logic synthesis and verification algorithms
- Författare
- Gary D. Hachtel
- (Gary D. Hachtel, Fabio Somenzi.)
- Genre
- Electronic books., Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | c2002, 1996 | Massachusetts, Boston | xxxii, 597 sidor. ill. | |
| Kluwer Academic | cop. 1996 | USA, Boston, Mass | xxxi, 564 sidor. ill. | |
| Kluwer Academic Publishers | c1996 | Massachusetts, Boston | xxxi, 564 sidor. ill. 26 cm. | 978-0-306-47592-4 |