12 records matched your query
01232cam a22003254a 4500 001 EEECC8162AFE11DE94E19907A8D7520A 005 200904162222.0 008 000727s2001 enka b 001 0 eng 010 $a 00061256 020 $a 9781852333539 (pbk : alk. paper) 020 $a 1852333537 (pbk : alk. paper) 035 $a (OCoLC)44732273 035 $a (OCoLC)46626475 040 $a DLC $c DLC $d SILO $d C#P $d UMC $d NLC $d OHX $d IWA $d SILO 050 00 $a QA76.9.F67 $b S64 2001 082 00 $a 004/.01/51 $2 21 245 0 $a Software specification methods : $b an overview using a case study / $c Marc Frappier and Henri Habrias (eds.). 260 $a New York : $a New York : $b Springer, $c c2001. 300 $a xxiii, 282 p. : $b ill. ; $c 24 cm. 440 0 $a Formal approaches to computing and information technology, $x 1431-9683 504 $a Includes bibliographical references and index. 650 0 $a Formal methods (Computer science) 650 0 $a Computer software $x Specifications. 700 1 $a Frappier, Marc, $d 1965- 700 1 $a Habrias, Henri. 939 $a 4416564 941 $a 1 952 $l USUX851 $d 20160820101251.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=EEECC8162AFE11DE94E19907A8D7520A 994 $a 02 $b IWAInitiate Another SILO Locator Search