von: Nils Przigoda · Robert Wille · Judith Przigoda · Rolf DrechslerGebunden Details (Deutschland) Details (USA) Details (Großbritannien) ISBN: 978-3-319-72813-1 ISBN-10: 3-319-72813-X Springer · 2018 |
Siehe auch: | ||
2019 | Taschenbuch | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |