Formal Methods for Discrete-Time Dynamical Systems
Studies in Systems, Decision and Control .89
Belta, Calin
Yordanov, Boyan
Aydin Gol, Ebru
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2018年 00月
- ISBN：9783319844855
- 装丁：PAP
-
装丁について
- 版次：Softcover reprint of the original 1st ed. 2017. 2018. xviii
- 巻数・ページ数：304 p.