Research Catalog
Formal equivalence checking and design debugging
- Title
- Formal equivalence checking and design debugging / by Shi-Yu Huang and Kwang-Ting (Tim) Cheng.
- Author
- Huang, Shi-Yu, 1965-
- Publication
- Boston, Mass. ; London : Kluwer Academic, c1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 98-1106 | Offsite |
Details
- Additional Authors
- Cheng, Kwang-Ting, 1961-
- Description
- xviii, 229 p. : ill.; 25 cm.
- Series Statement
- Frontiers in electronic testing
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 211-222) and index.
- Call Number
- JSE 98-1106
- ISBN
- 079238184X
- LCCN
- gb 98052180
- OCLC
- 39024860
- 39534288
- Author
- Huang, Shi-Yu, 1965-
- Title
- Formal equivalence checking and design debugging / by Shi-Yu Huang and Kwang-Ting (Tim) Cheng.
- Imprint
- Boston, Mass. ; London : Kluwer Academic, c1998.
- Series
- Frontiers in electronic testing
- Bibliography
- Includes bibliographical references (p. 211-222) and index.
- Added Author
- Cheng, Kwang-Ting, 1961-
- Research Call Number
- JSE 98-1106