Verification and control of hybrid systems : a symbolic approach /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
New York, N.Y. :
Springer,
c2009
|
| Témata: |
| Fyzický popis: | xv, 202 s. : il. ; 24 cm. |
|---|---|
| Bibliografie: | Obsahuje bibliografii a rejstřík |
| ISBN: | 978-1-4419-0223-8 9781441902245 |