Logical foundations of cyber-physical systems.
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic |
| Language: | English |
| Published: |
New York, NY :
Springer Berlin Heidelberg,
2018.
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nmm a22000005i 4500 | ||
|---|---|---|---|
| 001 | 20523363 | ||
| 003 | AR-SmCIES | ||
| 005 | 20250213105518.0 | ||
| 008 | 180531s2018 nyu 000 0 eng | ||
| 999 | |c 32986 |d 32986 | ||
| 020 | |a 9783319635873 | ||
| 100 | 1 | |a Platzer, André |9 3664 | |
| 245 | 0 | 0 | |a Logical foundations of cyber-physical systems. |
| 264 | 1 | |a New York, NY : |b Springer Berlin Heidelberg, |c 2018. | |
| 300 | |a 662 p. |b il. | ||
| 650 | 0 | |a DIFFERENTIAL EQUATIONS |9 484 | |
| 650 | 7 | |2 inist |a ECUACIONES DIFERENCIALES |9 210 | |
| 650 | 7 | |2 inist |a DYNAMICAL SYSTEMS |9 3665 | |
| 650 | 7 | |2 inist |a SISTEMAS DINAMICOS |9 3666 | |
| 653 | |a Cyberphysical Systems | ||
| 653 | |a Safety-Critical Systems | ||
| 653 | |a Model Checking | ||
| 653 | |a Control Loops | ||
| 653 | |a Proofs | ||
| 856 | |y Solicitar libro electrónico a bibliotecacies@cnea.gob.ar | ||
| 942 | |2 udc |c EB | ||
| 952 | |0 0 |1 0 |2 udc |4 0 |7 0 |a CIES-CAC |b CIES-CAC |d 2020-06-14 |i 51666 |p 51666 |r 2020-06-14 00:00:00 |w 2020-06-14 |y EB |z Solicitar libro electrónico a bibliotecacies@cnea.gob.ar | ||