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 IWAInitiate Another SILO Locator Search