Belta, Calin  <br/><br/>
Formal methods for discrete-time dynamical systems 

 - New york  Springer-Verlag  2017 
 - xviii, 284p.  col.&ill.  23cm. 
 - Studies in systems, decision and control, 89 .
 - Studies in systems, decision and control, 89 .
<br/><br/><label>ISBN: </label>9783319507620 
<br/><br/><label>Dewey Class. No.: </label>620.104  / BEL