Matches in Library of Congress for { <http://lccn.loc.gov/2002067475> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2002067475 contributor B9237480.
- 2002067475 created "c2002.".
- 2002067475 date "2002".
- 2002067475 date "c2002.".
- 2002067475 dateCopyrighted "c2002.".
- 2002067475 description "Includes bibliographical references (p. [135]-142) and index.".
- 2002067475 extent "xviii, 150 p. :".
- 2002067475 identifier "1402071035".
- 2002067475 identifier 2002067475-d.html.
- 2002067475 identifier 2002067475-t.html.
- 2002067475 issued "2002".
- 2002067475 issued "c2002.".
- 2002067475 language "eng".
- 2002067475 publisher "Boston : Kluwer Academic Publishers,".
- 2002067475 subject "621.39/5 21".
- 2002067475 subject "Formal methods (Computer science)".
- 2002067475 subject "Integrated circuits Verification.".
- 2002067475 subject "Integrated circuits Very large scale integration Design and construction.".
- 2002067475 subject "TK7874.75 .J66 2002".
- 2002067475 title "Symbolic simulation methods for industrial formal verification / Robert B. Jones.".
- 2002067475 type "text".