620.104  / B419f <br/>
Belta, Calin <br/>
       Formal methods for discrete-time dynamical systems 
 / Calin Belta, Boyan Yordanov and Ebru Aydin Gol 
 .- Switzerland: Springer,  2017 
 .- xviii, 284p. 
.- ( Studies in systems, decision and control   
  ** / edited by Janusz Kacprzyk  )
<br><u>ISBN:</u> 9783319507620 
<br/><u>Subject Headings:</u> <br/>Dynamics;<br/>System theory;<br/>Automatic control;
<br/><U>Author Added Entry: </u><br/>Yordanov, Boyan;<br/>Gol, Ebru Aydin;
<br><U>Copy Details:</u><br> Acc. No.: <b>A184150</b>, Full Call No.: 620.104 B419f,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>