The Locator -- [(subject = "Embedded computer systems--Design and construction")]

58 records matched your query       

Record 15 | Previous Record | Long Display | Next Record 
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 IWA
Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.