000 | 00826cam a2200241 i 4500 | ||
---|---|---|---|
999 |
_c189418 _d189418 |
||
001 | 18344243 | ||
008 | 141022s2015 maua b 001 0 eng | ||
020 | _a9780262029117 (hardcover : alk. paper) | ||
040 |
_aDLC _beng _cDLC _erda _dDLC |
||
082 | 0 | 0 |
_a004.056 _bALU |
100 | 1 |
_aAlur, Rajeev, _d1966- |
|
245 | 1 | 0 |
_aPrinciples of cyber-physical systems / _cRajeev Alur. |
260 |
_aLondon: _bMIT Press, _c2015 |
||
300 |
_axii, 446 pages : _billustrations ; _c24 cm |
||
650 | 0 | _aAutomatic control. | |
650 | 0 | _aSystem design. | |
650 | 0 | _aEmbedded internet devices. | |
650 | 0 | _aInternet of things. | |
650 | 0 | _aFormal methods (Computer science) | |
942 |
_2ddc _cBK |
||
906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |