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