von Rolf DrechslerGebunden Details (Deutschland) Details (Vereinigte Staaten) Details (Großbritannien) ISBN: 978-3-319-57683-1 ISBN-10: 3-319-57683-6 Springer · 2017 |
S. auch: | ||
2018 | Taschenbuch | Formal System Verification: State-of the-Art and Future Trends |