Matches in Library of Congress for { <http://lccn.loc.gov/91188267%2F%2Fr952> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 91188267%2F%2Fr952 contributor B6515395.
- 91188267%2F%2Fr952 created "c1990.".
- 91188267%2F%2Fr952 date "1990".
- 91188267%2F%2Fr952 date "c1990.".
- 91188267%2F%2Fr952 dateCopyrighted "c1990.".
- 91188267%2F%2Fr952 description "Includes bibliographical references (p. 184-193) and index.".
- 91188267%2F%2Fr952 extent "ix, 195 p. :".
- 91188267%2F%2Fr952 identifier "0748601597 :".
- 91188267%2F%2Fr952 isPartOf "Edinburgh information technology series ; 8".
- 91188267%2F%2Fr952 issued "1990".
- 91188267%2F%2Fr952 issued "c1990.".
- 91188267%2F%2Fr952 language "eng".
- 91188267%2F%2Fr952 publisher "Edinburgh : Edinburgh University Press,".
- 91188267%2F%2Fr952 subject "621.39/5 20".
- 91188267%2F%2Fr952 subject "Integrated circuits Verification.".
- 91188267%2F%2Fr952 subject "Integrated circuits Very large scale integration Computer-aided design.".
- 91188267%2F%2Fr952 subject "TK7874 .D39 1990".
- 91188267%2F%2Fr952 title "Formal specification and verification in VLSI design / Bruce S. Davie.".
- 91188267%2F%2Fr952 type "text".