| 000 | 00881nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2009##################000#0#eng## | ||
| 020 | _a9781848211438 | ||
| 022 | _a2009026282 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a621.392 JAR | ||
| 245 |
_aCommunicating embedded systems : software and design : formal methods _cedited by Claude Jard, Olivier H. Roux |
||
| 260 |
_aLondon ; Hoboken, NJ _bISTE Ltd/John Wiley and Sons _c2009 |
||
| 300 | _ap. cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer software - Development | ||
| 650 | _aEmbedded computer systems - Design and construction | ||
| 650 | _aEmbedded computer systems - Programming | ||
| 650 | _aFormal methods (Computer science) | ||
| 700 | _aJard, Claude | ||
| 700 | _aRoux, Olivier H | ||
| 990 | _a7295f3e2ac10000c2aeeef3ec3581bfc | ||
| 991 | _a187835 | ||
| 999 |
_c133880 _d133880 |
||