Formal Methods for Discrete-Time Dynamical Systems

Full text!
Type:
e-book
Titel:
Formal Methods for Discrete-Time Dynamical Systems
Auteur:
Belta, Calin(; Aydin Gol, Ebru; Yordanov, Boyan
Taal:
Engels
Uitgever:
Springer International Publishing 2017
ISBN:
3-319-50762-1
3-319-50763-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000001095332