Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics /
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2010, c2010
|
| Acceso en liña: | Ver documento en línea |