6 records matched your query
01212cam a2200313Ia 4500 001 056B3C682B0D11DE82774608A8D7520A 005 200904170002.0 008 060714s2006 gw a b 101 u eng d 010 $a 2006926663 020 $a 9783540347507 020 $a 354034750X 035 $a (OCoLC)70318094 040 $a ERL $c ERL $d SILO $d IWA $d SILO 111 2 $a UTP 2006 $d (2006 : $c Darlington, England) 245 1 $a Unifying theories of programming : $b first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers / $c Steve Dunne, Bill Stoddart (eds.). 246 30 $a UTP 2006 260 $a New York : $a New York : $b Springer, $c c2006. 300 $a viii, 256 p. : $b ill. ; $c 24 cm. 440 0 $a Lecture notes in computer science ; $v 4010 504 $a Includes bibliographical references and index. 650 0 $a Computer programming. $v Congresses. 700 1 $a Dunne, Steve, $c Dr. 700 1 $a Stoddart, Bill, $d 1946- 939 $a 5672155 941 $a 2 952 $l USUX851 $d 20180703061424.0 952 $l OVUX522 $d 20180102061328.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=056B3C682B0D11DE82774608A8D7520A 994 $a 02 $b IWAInitiate Another SILO Locator Search