Matches in Library of Congress for { <http://lccn.loc.gov/89012546%2F%2Fr94> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 89012546%2F%2Fr94 contributor B5854687.
- 89012546%2F%2Fr94 created "c1989.".
- 89012546%2F%2Fr94 date "1989".
- 89012546%2F%2Fr94 date "c1989.".
- 89012546%2F%2Fr94 dateCopyrighted "c1989.".
- 89012546%2F%2Fr94 description "Bibliography: p. [153]-159.".
- 89012546%2F%2Fr94 extent "163 p. :".
- 89012546%2F%2Fr94 identifier "0262041014".
- 89012546%2F%2Fr94 isPartOf "ACM distinguished dissertations".
- 89012546%2F%2Fr94 issued "1989".
- 89012546%2F%2Fr94 issued "c1989.".
- 89012546%2F%2Fr94 language "eng".
- 89012546%2F%2Fr94 publisher "Cambridge, Mass. : MIT Press,".
- 89012546%2F%2Fr94 subject "621.39/5 20".
- 89012546%2F%2Fr94 subject "Integrated circuits Verification.".
- 89012546%2F%2Fr94 subject "Integrated circuits Very large scale integration.".
- 89012546%2F%2Fr94 subject "Sequential machine theory.".
- 89012546%2F%2Fr94 subject "Switching circuits.".
- 89012546%2F%2Fr94 subject "TK7868.S9 D55 1989".
- 89012546%2F%2Fr94 title "Trace theory for automatic hierarchical verification of speed-independent circuits / David L. Dill.".
- 89012546%2F%2Fr94 type "text".