The Resource Test pattern generation using Boolean proof engines, by Rolf Drechsler ... [et al.]

Test pattern generation using Boolean proof engines, by Rolf Drechsler ... [et al.]

Label
Test pattern generation using Boolean proof engines
Title
Test pattern generation using Boolean proof engines
Statement of responsibility
by Rolf Drechsler ... [et al.]
Contributor
Subject
Language
eng
Cataloging source
StDuBDS
Dewey number
621.39501511324
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
Label
Test pattern generation using Boolean proof engines, by Rolf Drechsler ... [et al.]
Publication
Bibliography note
Includes bibliographical references and index
http://library.link/vocab/branchCode
  • net
Control code
000044359762
Dimensions
24 cm
Extent
xii, 192 p.
Isbn
9789048123599
Other physical details
ill.
http://library.link/vocab/recordID
.b24077410
System control number
springer9048123593

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...