von Nils PrzigodaTaschenbuch Details (Deutschland) Details (Vereinigte Staaten) Details (Großbritannien) ISBN-13: 978-3-319-89214-6 ISBN-10: 3-319-89214-2 Springer · Juni 2019 |
Siehe auch: | ||
2018 | Gebundene Ausgabe | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |