4 records matched your query
01431cam a22003138a 4500 001 12B99D362AF611DE95B62007A8D7520A 005 200904162118.0 008 970822s1997 gw a b 101 0 eng 010 $a 97037056 020 $a 9783540635338 (pbk. : alk. paper) 020 $a 3540635335 (pbk. : alk. paper) 035 $a (OCoLC)37546757 040 $a DLC $c DLC $d SILO $d SILO 082 00 $a 005.1/01/5113 $2 21 111 2 $a International Symposium of Formal Methods Europe $n (4th : $d 1997 : $c Graz, Austria) 245 1 $a FME '97 : $b industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / $c John Fitzgerald, Cliff B. Jones, Peter Lucas, eds. 246 3 $a Industrial applications and strengthened foundations of formal methods 260 $a New York : $a New York : $b Springer, $c c1997. 300 $a xiii, 684 p. : $b ill. ; $c 24 cm. 440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 1313 504 $a Includes bibliographical references and index. 650 0 $a System design $x Congresses. $x Congresses. 700 1 $a Fitzgerald, John, $d 1965- 700 1 $a Jones, C. B. $q (Cliff B.), $d 1944- 700 1 $a Lucas, Peter, $d 1955- 939 $a 3653937 941 $a 1 952 $l OVUX522 $d 20181116034242.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=12B99D362AF611DE95B62007A8D7520AInitiate Another SILO Locator Search