Matches in Library of Congress for { <http://lccn.loc.gov/00049710> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00049710 contributor B43055.
- 00049710 contributor B43056.
- 00049710 created "2000.".
- 00049710 date "2000".
- 00049710 date "2000.".
- 00049710 dateCopyrighted "2000.".
- 00049710 description "Includes bibliographical references and index.".
- 00049710 extent "xi, 537 p. :".
- 00049710 identifier "3540412190 (softcover : alk. paper)".
- 00049710 identifier 00049710-d.html.
- 00049710 isPartOf "Lecture notes in computer science ; 1954".
- 00049710 issued "2000".
- 00049710 issued "2000.".
- 00049710 language "eng".
- 00049710 publisher "Berlin ; New York : Springer,".
- 00049710 subject "621.39/2 21".
- 00049710 subject "Computer engineering Computer-aided design Congresses.".
- 00049710 subject "Integrated circuits Verification Congresses.".
- 00049710 subject "TK7885.A1 F59 2000".
- 00049710 title "Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds.".
- 00049710 type "text".