Formal Methods for Discrete-Time Dynamical Systems


Belta C., Yordanov B., Aydın Göl E.

Springer, London/Berlin , Chur, 2017

  • Basım Tarihi: 2017
  • Yayın Evi: Springer, London/Berlin 
  • Basıldığı Şehir: Chur