| 000 | 00911nam a22003015i 4500 | ||
|---|---|---|---|
| 001 | 20523363 | ||
| 003 | OSt | ||
| 005 | 20190327123830.0 | ||
| 008 | 180531s2018 nyu 000 0 eng | ||
| 010 | _a 2018946565 | ||
| 020 | _a9783319635873 (alk. paper) | ||
| 040 |
_aDLC _beng _erda _cIISER Bhopal |
||
| 042 | _apcc | ||
| 082 |
_223 _a004.259 P698L |
||
| 100 |
_aPlatzer, Andre. _924917 |
||
| 222 | _aEECS-reference book collection | ||
| 245 | 0 | 0 |
_aLogical foundations of cyber-physical systems _cAndre Platzer. |
| 260 |
_aSwitzerland: _bSpringer Nature, _c2018. |
||
| 263 | _a1806 | ||
| 300 | _axxxi, 639p. | ||
| 500 | _aIncludes bibliographical references and index. | ||
| 650 |
_aCyber Systems. _924918 |
||
| 650 |
_aHybrid-systems. _924919 |
||
| 650 |
_aMulti-dynamical systems. _924920 |
||
| 906 |
_a0 _bibc _corignew _d2 _eepcn _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c8907 _d8907 |
||