Matches in Library of Congress for { <http://lccn.loc.gov/96039129> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 96039129 contributor B7781327.
- 96039129 contributor B7781328.
- 96039129 created "c1996.".
- 96039129 date "1996".
- 96039129 date "c1996.".
- 96039129 dateCopyrighted "c1996.".
- 96039129 description "Includes bibliographical references and index.".
- 96039129 extent "ix, 470 p. :".
- 96039129 identifier "3540619372 (alk. paper)".
- 96039129 identifier 96039129-d.html.
- 96039129 isPartOf "Lecture notes in computer science ; 1166".
- 96039129 issued "1996".
- 96039129 issued "c1996.".
- 96039129 language "eng".
- 96039129 publisher "Berlin ; New York : Springer,".
- 96039129 subject "621.39/2 21".
- 96039129 subject "Automatic theorem proving Congresses.".
- 96039129 subject "Computer engineering Computer-aided design Congresses.".
- 96039129 subject "Digital integrated circuits Computer-aided design Congresses.".
- 96039129 subject "Formal methods (Computer science) Congresses.".
- 96039129 subject "Integrated circuits Verification Congresses.".
- 96039129 subject "TK7874.65 .F53 1996".
- 96039129 title "Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds.".
- 96039129 type "text".