von: Mike Hinchey · Jonathan P. Bowen · Ernst-Rüdiger OlderogGebunden Details (Deutschland) Details (USA) Details (Großbritannien) Details (Kanada) ISBN: 978-3-319-48627-7 ISBN-10: 3-319-48627-6 Springer · 2017 |
Siehe auch: | ||
2018 | Taschenbuch | Provably Correct Systems (NASA Monographs in Systems and Software Engineering) |