Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Autor Nils Przigoda et al. 6 iun 2019 Paperback Preț: 906.64 lei 1105.65 lei 6-8 săpt. -18%