Matches in Library of Congress for { <http://lccn.loc.gov/93024859> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 93024859 contributor B6918761.
- 93024859 created "c1993.".
- 93024859 date "1993".
- 93024859 date "c1993.".
- 93024859 dateCopyrighted "c1993.".
- 93024859 description "Includes bibliographical references (p. 183-190) and index.".
- 93024859 extent "xv, 194 p. :".
- 93024859 identifier "0792393805 (acid-free paper)".
- 93024859 issued "1993".
- 93024859 issued "c1993.".
- 93024859 language "eng".
- 93024859 publisher "Boston : Kluwer Academic,".
- 93024859 subject "621.39/2 20".
- 93024859 subject "Electronic digital computers Circuits Design Data processing.".
- 93024859 subject "Logic design Data processing.".
- 93024859 subject "Symbolic circuit analysis Data processing.".
- 93024859 subject "TK7888.4 .M43 1993".
- 93024859 title "Symbolic model checking / by Kenneth L. McMillan.".
- 93024859 type "text".