Matches in Library of Congress for { <http://lccn.loc.gov/2007028038> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2007028038 contributor B10782473.
- 2007028038 contributor B10782474.
- 2007028038 created "c2008.".
- 2007028038 date "2008".
- 2007028038 date "c2008.".
- 2007028038 dateCopyrighted "c2008.".
- 2007028038 description "Includes bibliographical references and index.".
- 2007028038 extent "viii, 240 p. :".
- 2007028038 identifier "0123706165 (pbk.)".
- 2007028038 identifier "9780123706164 (pbk.)".
- 2007028038 identifier 2007028038-d.html.
- 2007028038 identifier 2007028038.html.
- 2007028038 isPartOf "The Morgan Kaufmann series in systems on silicon".
- 2007028038 issued "2008".
- 2007028038 issued "c2008.".
- 2007028038 language "eng".
- 2007028038 publisher "Amsterdam ; Boston : Morgan Kaufmann Publishers,".
- 2007028038 subject "621.3815 22".
- 2007028038 subject "Formal methods (Computer science)".
- 2007028038 subject "Integrated circuits Verification.".
- 2007028038 subject "Systems on a chip Testing.".
- 2007028038 subject "TK7895.E42 F95 2008".
- 2007028038 title "Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.".
- 2007028038 type "text".