von: Rajeev Alur · Thomas A. Henzinger · Eduardo D. Sontag
Taschenbuch
ISBN-13: 978-3-540-61155-4
ISBN-10: 3-540-61155-X
Springer · 2008
|
|
von: Rajeev Alur · Thomas A. Henzinger · Eduardo D. SontagTaschenbuch
ISBN-13: 978-3-540-61155-4 ISBN-10: 3-540-61155-X Springer · 2008 |
| S. auch (eventuell von anderen Autoren): | ||
| 1996 | Paperback | Hybrid Systems III. Verification and Control |