| 000 | 00581nam a22002057a 4500 | ||
|---|---|---|---|
| 005 | 20230302203024.0 | ||
| 008 | 230302b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9783319635873 | ||
| 041 | _aeng | ||
| 082 | _a006.22 P6981l | ||
| 100 | _aPlatzer, Andre | ||
| 245 | _aLogical foundations of cyber-physical systems | ||
| 260 |
_aSwitzerland _bSpringer _c2018 |
||
| 300 | _axxxi, 639p. | ||
| 650 | _aAutonomic computing | ||
| 650 | _aCooperating objects (Computer systems) | ||
| 650 |
_aCybernetics _xComputer science |
||
| 650 | _aEmbedded computer systems | ||
| 942 | _cBK | ||
| 999 |
_c24004 _d24004 |
||