Matches in Library of Congress for { <http://lccn.loc.gov/2009026282> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2009026282 alternative "Approches formelles des systèmes embarqués communicants. English".
- 2009026282 contributor B11424379.
- 2009026282 created "2010.".
- 2009026282 date "2010".
- 2009026282 date "2010.".
- 2009026282 dateCopyrighted "2010.".
- 2009026282 description "Includes bibliographical references and index.".
- 2009026282 extent "xii, 261 p. :".
- 2009026282 identifier "9781848211438".
- 2009026282 identifier 2009026282-d.html.
- 2009026282 issued "2010".
- 2009026282 issued "2010.".
- 2009026282 language "eng fre".
- 2009026282 language "eng".
- 2009026282 publisher "London, UK : ISTE ; Hoboken, NJ : Wiley,".
- 2009026282 subject "621.39/2 22".
- 2009026282 subject "Computer software Development.".
- 2009026282 subject "Embedded computer systems Design and construction.".
- 2009026282 subject "Embedded computer systems Programming.".
- 2009026282 subject "Formal methods (Computer science)".
- 2009026282 subject "TK7895.E42 A387 2010".
- 2009026282 title "Communicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.".
- 2009026282 type "text".