Formal Methods for Discrete-Time Dynamical Systems


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

Springer, London/Berlin , Chur, 2017

  • Yayın Türü: Kitap / Mesleki Kitap
  • Basım Tarihi: 2017
  • Yayınevi: Springer, London/Berlin 
  • Basıldığı Şehir: Chur
  • Orta Doğu Teknik Üniversitesi Adresli: Evet