Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Autor Nils Przigoda et al. 31 ian 2018 Hardback Preț: 934.31 lei 1139.41 lei 6-8 săpt. -18%