![]() |
von Rolf DrechslerTaschenbuch Details (Deutschland) Details (United States) Details (Großbritannien) Details (Kanada) ISBN: 978-3-319-86223-1 ISBN-10: 3-319-86223-5 Springer · 2018 |
Siehe auch: | ||
2017 | Gebundene Ausgabe | Formal System Verification: State-of the-Art and Future Trends |