13 records matched your query
01339aam a2200337 a 4500 001 1937863466A111E6BC78B878DAD10320 003 SILO 005 20160820010703 007 he bmb024bbca 008 020426s2002 mdua bb f000 0 eng d 035 $a (OCoLC)49674132 040 $a GPO $c GPO $d DLC $d MvI $d SILO 074 $a 0247-D (MF) 086 0 $a C 13.58:6777 100 1 $a Black, Paul E. 245 10 $a Model checkers in software testing $h [microform] / $c Paul E. Black, Paul Ammann, Wei Ding. 260 $a Gaithersburg, MD : $b U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, $c [2002] 300 $a 40 p. : $b ill. ; $c 28 cm. 440 0 $a NISTIR $v 6777 500 $a Shipping list no.: 2002-0256-M. 500 $a "February 1, 2002." 504 $a Includes bibliographical references (p. 38-40). 533 $a Microfiche. $b [Washington, D.C.] : $c Supt. of Docs., U.S. G.P.O., $d 2002 $e 1 microfiche : negative. 650 0 $a Computer software $x Testing. 650 0 $a Computer systems $x Verification. 700 1 $a Ammann, Paul. 700 1 $a Ding, Wei, $d 1967 September 14- 710 2 $a National Institute of Standards and Technology (U.S.) 941 $a 1 952 $l USUX851 $d 20160820125342.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=1937863466A111E6BC78B878DAD10320Initiate Another SILO Locator Search