von: Mike Hinchey · Jonathan P. Bowen · Ernst-Rüdiger OlderogTaschenbuch Details (Deutschland) Details (USA) Details (Großbritannien) ISBN-13: 978-3-319-83980-6 ISBN-10: 3-319-83980-2 Springer · 2018 |
Siehe auch: | ||
2017 | Gebundene Ausgabe | Provably Correct Systems (NASA Monographs in Systems and Software Engineering) |