Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Autor Nils Przigoda et al. 31 ian 2018 Hardback Preț: 923.08 lei 1125.71 lei 43-57 zile -18%