Matches in Library of Congress for { <http://lccn.loc.gov/99012500> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99012500 contributor B8631697.
- 99012500 created "c1999.".
- 99012500 date "1999".
- 99012500 date "c1999.".
- 99012500 dateCopyrighted "c1999.".
- 99012500 description "Includes bibliographical references (p. [277]-289) and index.".
- 99012500 extent "ix, 299 p. :".
- 99012500 identifier "3540654453 (acid-free paper)".
- 99012500 identifier 99012500-d.html.
- 99012500 identifier 99012500-t.html.
- 99012500 issued "1999".
- 99012500 issued "c1999.".
- 99012500 language "eng".
- 99012500 publisher "Berlin ; New York : Springer,".
- 99012500 subject "621.39/5 21".
- 99012500 subject "Integrated circuits Verification.".
- 99012500 subject "Integrated circuits Very large scale integration Computer-aided design.".
- 99012500 subject "TK7874.75 .K76 1999".
- 99012500 title "Introduction to formal hardware verification / Thomas Kropf.".
- 99012500 type "text".