
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 | Jul 21, 2018 |
| Páginas | 302 |
| Formato | paperback |
| ISBN-13 | 9783319844855 |
| ISBN-10 | 3319844857 |
| Número de Cutter | B453f |