Formal Methods for Discrete-Time Dynamical Systems
Edición de la obra Formal Methods for Discrete-Time Dynamical Systems
| Autor | Calin Belta, Boyan Yordanov, Ebru Aydin Gol |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 17, 2017 |
| Páginas | 302 |
| Formato | hardcover |
| ISBN-13 | 9783319507620 |
| ISBN-10 | 3319507621 |
| Número de Cutter | B453f |