| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Formal Methods for Discrete-Time Dynamical Systems | Taschenbuch | 978-3-319-84485-5 (3-319-84485-7) | 2018 | |
| Formal Methods for Discrete-Time Dynamical Systems | Gebunden | 978-3-319-50762-0 (3-319-50762-1) | 2017 | Boyan Yordanov · Ebru Aydin Gol |
C B · Céline Bellot · Céline Belot · Colin Baldy · Colin Blyth