000 00499nam a2200145Ia 4500
008 210311s9999 xx 000 0 und d
020 _a978-3-319-50763-7
100 _a"Calin Belta, Boyan Yordanov, Ebru Aydin Gol"
245 0 _aFormal Methods for Discrete-Time Dynamical Systems
260 _bSpringer
260 _c2017
650 _a"Engineering; Control; Complexity; Systems Theory, Control"
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-50763-7
942 _cEBOOK
999 _c37064
_d37064