UML/OCL Model Validator & Verifier with Satisfiability Solvers

Compare products, prices, offers and stores on Comparor to make a better informed purchase.

• Where to buy
• Specifications
• Comments
• FAQs

SponsoredThis site contains affiliate links for which we may receive compensation. More information

Textbooks.com

+ Information about Textbooks.com

Sponsored

Vitalsource Technologies, Inc. Automated Validation & Verification Of Uml/ocl Models Using Satisfiabil

Cheapest Offer

159.00 USD

View product deal

This product in Comparor

CategoryThis product is cataloged in our store in these categories

InternationalFind this product in one of our international stores

This product has not been found in other countries

ColorsPredominant colors of the product

Identifiers

Brand

Springer International Publishing

ID

41276784

Add my opinion about this product

I want to ask a question about this product