Coverart for item
The Resource Formal verification of circuits, Rolf Drechsler

Formal verification of circuits, Rolf Drechsler

Label
Formal verification of circuits
Title
Formal verification of circuits
Statement of responsibility
Rolf Drechsler
Creator
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Drechsler, Rolf
Dewey number
621.3815/028/7
Illustrations
illustrations
Index
index present
LC call number
TK7867
LC item number
.D7 2000
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Electronic circuits
  • Decision trees
Label
Formal verification of circuits, Rolf Drechsler
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 167-176) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44026134
Dimensions
24 cm
Extent
x, 179 pages
Isbn
9780792378587
Isbn Type
(alk. paper)
Lccn
00034888
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Formal verification of circuits, Rolf Drechsler
Publication
Bibliography note
Includes bibliographical references (pages 167-176) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
44026134
Dimensions
24 cm
Extent
x, 179 pages
Isbn
9780792378587
Isbn Type
(alk. paper)
Lccn
00034888
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...