12 records matched your query
01202aam a2200337 a 4500 001 11917500644111E6892B4FCDDAD10320 003 SILO 005 20160817010331 008 931222s1994 njua b 001 0 eng 010 $a 93050696 020 $a 9781567500349 020 $a 156750034X (pbk.) 020 $a 9781567500332 020 $a 1567500331 035 $a (OCoLC)29595552 040 $a DLC $c DLC $d IWA $d SILO 050 00 $a QA76.758 $b .G37 1994 082 00 $a 005.1/2 $2 20 100 00 $a Gannon, John D., $d 1948- 245 10 $a Software specification : $b a comparison of formal methods / $c by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz. 260 $a Norwood, N.J. : $b Ablex Pub. Co., $c c1994. 300 $a xi, 249 p. : $b ill. ; $c 24 cm. 440 0 $a Computer-based information systems in organizations. 504 $a Includes bibliographical references (p. 237-242) and indexes. 650 0 $a Software engineering 650 0 $a Computer software $x Specifications. 700 10 $a Purtilo, James. 700 00 $a Zelkowitz, Marvin V., $d 1945- 941 $a 1 952 $l USUX851 $d 20160817030809.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=11917500644111E6892B4FCDDAD10320Initiate Another SILO Locator Search