22 records matched your query       

00965aam a22003014a 4500
001 A2B8BB06669E11E6BC78B878DAD10320
003 SILO
005 20160820010703
008 031113s2004    maua     b    001 0 eng  
010    $a 2003064115
020    $a 9781402077210
020    $a 1402077211 (alk. paper)
035    $a (OCoLC)53477742
040    $a DLC $c DLC $d YDX $d SILO
042    $a pcc
050 00 $a TK7867 $b .A38 2004
082 00 $a 621.3815/48 $2 22
245 00 $a Advanced formal verification / $c edited by Rolf Drechsler.
260    $a Boston : $b Kluwer Academic Publishers, $c c2004.
300    $a xxv, 249 p. : $b ill. ; $c 25 cm.
504    $a Includes bibliographical references and index.
650  0 $a Electronic circuits $x Testing
650  0 $a Decision trees
700 1  $a Drechsler, Rolf.
941    $a 1
952    $l USUX851 $d 20160820072137.0
956    $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=A2B8BB06669E11E6BC78B878DAD10320
994    $a 92 $b IWA