| 000 | 00890nmm a22002895i 4500 | ||
|---|---|---|---|
| 999 |
_c32986 _d32986 |
||
| 001 | 20523363 | ||
| 003 | AR-SmCIES | ||
| 005 | 20250213105518.0 | ||
| 008 | 180531s2018 nyu 000 0 eng | ||
| 020 | _a9783319635873 | ||
| 100 | 1 |
_aPlatzer, André _93664 |
|
| 245 | 0 | 0 | _aLogical foundations of cyber-physical systems. |
| 264 | 1 |
_aNew York, NY : _bSpringer Berlin Heidelberg, _c2018. |
|
| 300 |
_a662 p. _bil. |
||
| 650 | 0 |
_aDIFFERENTIAL EQUATIONS _9484 |
|
| 650 | 7 |
_2inist _aECUACIONES DIFERENCIALES _9210 |
|
| 650 | 7 |
_2inist _aDYNAMICAL SYSTEMS _93665 |
|
| 650 | 7 |
_2inist _aSISTEMAS DINAMICOS _93666 |
|
| 653 | _aCyberphysical Systems | ||
| 653 | _aSafety-Critical Systems | ||
| 653 | _aModel Checking | ||
| 653 | _aControl Loops | ||
| 653 | _aProofs | ||
| 856 | _ySolicitar libro electrónico a bibliotecacies@cnea.gob.ar | ||
| 942 |
_2udc _cEB |
||