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