Matches in Library of Congress for { <http://lccn.loc.gov/2001049453> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2001049453 contributor B8954915.
- 2001049453 contributor B8954916.
- 2001049453 created "c2001.".
- 2001049453 date "2001".
- 2001049453 date "c2001.".
- 2001049453 dateCopyrighted "c2001.".
- 2001049453 description "Includes bibliographical references and index.".
- 2001049453 extent "xii, 482 p. :".
- 2001049453 identifier "3540425411 (pbk. : alk. paper)".
- 2001049453 identifier 2001049453-d.html.
- 2001049453 isPartOf "Lecture notes in computer science ; 2144".
- 2001049453 issued "2001".
- 2001049453 issued "c2001.".
- 2001049453 language "eng".
- 2001049453 publisher "Berlin ; New York : Springer,".
- 2001049453 subject "621.39/5 21".
- 2001049453 subject "Integrated circuits Verification Congresses.".
- 2001049453 subject "Integrated circuits Very large scale integration Computer-aided design Congresses.".
- 2001049453 subject "TK7874.75 .C453 2001".
- 2001049453 title "Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)".
- 2001049453 type "text".