Verification and control of hybrid systems [e-book] : A symbolic approach / by Paulo Tabuada
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Tabuada, Paulo
|
| Titolo: |
Verification and control of hybrid systems [e-book] : A symbolic approach / by Paulo Tabuada
|
| Pubblicazione: | Boston, MA : Springer, 2009 |
| Descrizione fisica: | v.: digital |
| Soggetto topico: | Computer science |
| Systems theory | |
| ISBN: | 9781441902245 |
| Formato: | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991000525109707536 |
| Lo trovi qui: | Univ. del Salento |
| Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-1-4419-0224-5 |
| Opac: | Controlla la disponibilità qui |
Fa parte di:
Springer eBooks