000 00415nam a22001457a 4500
020 _a9780262029117
082 _a006.22
_bALU
100 _aAlur, Rajeev
245 _aPrinciples of Cyber-Physical Systems
260 _aLondon
_bMIT Press
_c2015
300 _axii + 446
_bHardbound
500 _aDEL5-570352 08-03-2022
650 _aAutomatic Control, System Design, Internet of Things, Formal Methods
942 _cBK
999 _c462
_d462