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

AKTUELLE PARTNERANGEBOTE

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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Nils Przigoda/ Robert Wille/ Rolf Drechsler/ Judith Przigoda. Taschenbuch. Taschenbuch

1 Angebote · ab 160,49 € gemeldete Gesamtkosten