| 000 | 00693nam#a2200193ua#4500 | ||
|---|---|---|---|
| 008 | 141022s2015 maua b 001 0 eng | ||
| 020 | _a9780262029117 (hardcover : alk. paper | ||
| 082 |
_a006.22 _bAl83P |
||
| 100 |
_aAlur, Rajeev _d1966 _99138 |
||
| 245 |
_aPrinciples of Cyber-Physical Systems _cby Rajeev Alur. |
||
| 260 |
_bThe MIT Press _aMassachusetts _c2015. |
||
| 300 |
_axii, 446 pages _billustrations _c24 cm |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 |
_aAutomatic control. _99139 |
||
| 650 |
_aSystem design. _99140 |
||
| 650 |
_aEmbedded internet devices. _99141 |
||
| 650 |
_aInternet of things. _99142 |
||
| 650 |
_aFormal methods (Computer science _99143 |
||
| 999 |
_c9540 _d9540 |
||