Noch Fragen? 0800 / 33 82 637

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Produktform: Buch / Einband - fest (Hardcover)

Provides a general flow and description for the validation and verification of UML/OCL models weiterlesen

Sprache(n): Englisch

ISBN: 978-3-319-72813-1 / 978-3319728131 / 9783319728131

Verlag: Springer International Publishing

Erscheinungsdatum: 31.01.2018

Seiten: 255

Auflage: 1

Autor(en): Rolf Drechsler, Robert Wille, Nils Przigoda, Judith Przigoda

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück