| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Formal Methods for Discrete-Time Dynamical Systems | Paperback | 978-3-319-84485-5 (3-319-84485-7) | 2019 | Calin Belta · Boyan Yordanov |
| Formal Methods for Discrete-Time Dynamical Systems | Gebunden | 978-3-319-50762-0 (3-319-50762-1) | 2017 | Calin Belta · Boyan Yordanov |