Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
2008
TK7895.E42 F95 2008eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Verification techniques for system-level design [electronic resource] / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Author
ISBN
9780123706164 (pbk.)
0123706165 (pbk.)
0123706165 (pbk.)
Publication Details
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2008.
Language
English
Description
viii, 240 p. : ill. ; 25 cm.
Call Number
TK7895.E42 F95 2008eb
Dewey Decimal Classification
621.3815
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Series
Morgan Kaufmann series in systems on silicon.
Linked Resources
Record Appears in