Matches in Library of Congress for { <http://lccn.loc.gov/90006949> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 90006949 contributor B6094784.
- 90006949 contributor B6094785.
- 90006949 contributor B6094786.
- 90006949 created "1990.".
- 90006949 date "1990".
- 90006949 date "1990.".
- 90006949 dateCopyrighted "1990.".
- 90006949 description "Includes bibliographical references.".
- 90006949 extent "xv, 427 p. :".
- 90006949 identifier "0444886885 (U.S.)".
- 90006949 isPartOf "VLSI design methods ; 2".
- 90006949 issued "1990".
- 90006949 issued "1990.".
- 90006949 language "eng".
- 90006949 publisher "Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributed in the U.S. and Canada, Elsevier Science Pub. Co.,".
- 90006949 subject "621.39/5 20".
- 90006949 subject "Integrated circuits Verification Congresses.".
- 90006949 subject "Integrated circuits Very large scale integration Computer-aided design Congresses.".
- 90006949 subject "TK7874 .I3283 1989a".
- 90006949 title "Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.".
- 90006949 type "text".