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