Matches in Library of Congress for { <http://lccn.loc.gov/97036126> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 97036126 contributor B8065764.
- 97036126 created "c1997.".
- 97036126 date "1997".
- 97036126 date "c1997.".
- 97036126 dateCopyrighted "c1997.".
- 97036126 description "Includes bibliographical references (p. [349]-367).".
- 97036126 extent "xii, 367 p. :".
- 97036126 identifier "3540634754 (Berlin : softcover : acid-free paper)".
- 97036126 identifier 97036126-d.html.
- 97036126 isPartOf "Lecture notes in computer science, 0302-9743 ; 1287".
- 97036126 issued "1997".
- 97036126 issued "c1997.".
- 97036126 language "eng".
- 97036126 publisher "Berlin ; New York : Springer,".
- 97036126 subject "621.39/5 21".
- 97036126 subject "Formal methods (Computer science)".
- 97036126 subject "Integrated circuits Verification.".
- 97036126 subject "Integrated circuits Very large scale integration Computer-aided design.".
- 97036126 subject "TK7874.75 .F67 1997".
- 97036126 title "Formal hardware verification : methods and systems in comparison / Thomas Kropf, ed.".
- 97036126 type "text".