Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3319892142 ISBN 13: 9783319892146
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Nils Przigoda (u. a.) | Taschenbuch | xii | Englisch | 2019 | Springer International Publishing | EAN 9783319892146 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.