Lange & Springer Antiquariat Dorotheenstraße 16, 10117 Berlin

Przigoda, Automated Validation & Verification of UML/OCL Models Using Satisfiabi…

Przigoda, Automated Validation & Verification of UML/OCL Models Using Satisfiabi

Przigoda, N. et al (Eds.): Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Cham, Springer, 2018. xii, 255 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped.

  • Kategorie: Technik
  • Schlagwörter: Elektrotechnik
  • Sprache: Englisch (en)
  • ISBN: 9783319728131
  • Bestellnummer: 6058FB

Unser Preis: EUR 15,--