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.

• Category: Technik
• Keywords: Elektrotechnik
• Language: English (en)
• ISBN: 9783319728131
• Order Number: 6058FB

Our Price: EUR 15,--