177 records matched your query
01663nam a2200361 a 4500 001 9A0D86382AF311DEA519F806A8D7520A 005 200904162101.0 008 960222s1996 gw a b 100 0 eng 010 $a 96010788 020 $a 9783540609476 (hardcover : alk. paper) 020 $a 3540609474 (hardcover : alk. paper) 035 $a (OCoLC)34284086 040 $a DLC $c DLC $d SILO $d SILO 050 00 $a QA76.9.D5 $b D38 1996 245 0 $a Deductive program design / $c edited by Manfred Broy. 260 $a New York : $a New York : $b Springer, $c c1996. 300 $a viii, 467 p. : $b ill. ; $c 24 cm. 490 1 $a NATO ASI series. Series F, Computer and systems sciences ; $v vol. 152 500 $a "Published in cooperation with NATO Scientific Affairs Division." 500 $a "Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso. 504 $a Includes bibliographical references. 650 0 $a Electronic data processing $x Congresses. $x Congresses. 650 0 $a System design $x Congresses. 650 0 $a Logic, Symbolic and mathematical $x Congresses. 700 1 $a Broy, M., $d 1949- 710 2 $a North Atlantic Treaty Organization. $b Scientific Affairs Division. 711 2 $a NATO Advanced Study Institute on Deductive Program Design $d (1994 : $c Marktoberdorf, Germany) 830 0 $a NATO ASI series. $n Series F, $p Computer and systems sciences ; $v no. 152. 939 $a 3374571 941 $a 2 952 $l OVUX522 $d 20180103022359.0 952 $l USUX851 $d 20160816064122.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=9A0D86382AF311DEA519F806A8D7520AInitiate Another SILO Locator Search