Matches in Library of Congress for { <http://lccn.loc.gov/98046729> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 98046729 contributor B8370369.
- 98046729 contributor B8370370.
- 98046729 created "c1998.".
- 98046729 date "1998".
- 98046729 date "c1998.".
- 98046729 dateCopyrighted "c1998.".
- 98046729 description "Includes bibliographical references and index.".
- 98046729 extent "ix, 528 p. :".
- 98046729 identifier "3540651918 (soft cover : alk. paper)".
- 98046729 identifier 98046729-d.html.
- 98046729 isPartOf "Lecture notes in computer science, 0302-9743 ; 1522".
- 98046729 issued "1998".
- 98046729 issued "c1998.".
- 98046729 language "eng".
- 98046729 publisher "Berlin ; New York : Springer,".
- 98046729 subject "621.39/2 21".
- 98046729 subject "Automatic theorem proving Congresses.".
- 98046729 subject "Computer engineering Computer-aided design Congresses.".
- 98046729 subject "Digital integrated circuits Computer-aided design Congresses.".
- 98046729 subject "Formal methods (Computer science) Congresses.".
- 98046729 subject "Integrated circuits Verification Congresses.".
- 98046729 subject "TK7874.65 .F53 1998".
- 98046729 title "Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.).".
- 98046729 type "text".