58 records matched your query
01352aam a22003494a 4500 001 29F6AE1C6A8B11E689525693DAD10320 003 SILO 005 20160825010506 008 090709s2010 enka b 001 0 eng 010 $a 2009026282 020 $a 1848211430 020 $a 9781848211438 035 $a (OCoLC)424454754 040 $a DLC $c DLC $d BWKUK $d UKM $d BWX $d YDXCP $d CDX $d SILO 041 1 $a eng $h fre 050 00 $a TK7895 E42 A387 2010 130 0 $a Approches formelles des syst©·mes embarqu©âs communicants. $l English 245 10 $a Communicating embedded systems : $b software and design : formal methods / $c edited by Claude Jard, Olivier H. Roux. 260 $a London : $b ISTE ; $c 2010. 300 $a xii, 261 p. : $b ill. ; $c 25 cm. 504 $a Includes bibliographical references and index. 650 0 $a Embedded computer systems $x Programming 650 0 $a Embedded computer systems $x Design and construction. 650 0 $a Computer software $x Development 650 0 $a Formal methods (Computer science) 700 1 $a Jard, Claude 700 1 $a Roux, Olivier H. 856 42 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy1004/2009026282-d.html 941 $a 1 952 $l USUX851 $d 20160825050138.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=29F6AE1C6A8B11E689525693DAD10320 994 $a C0 $b IWAInitiate Another SILO Locator Search