Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

160.49 EUR

Marke: Springer

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

160.49 EUR 160.49 EUR

19-06-2026 19:34:46

Access to the deal

160.49 EUR 160.49 EUR

20-06-2026 10:38:40

Access to the deal