Price from
159.00 USD

UML/OCL Model Validator & Verifier with Satisfiability Solvers

 Stores where to buy this product

Sponsored  This site contains affiliate links for which we may receive compensation. More information
This product in Comparor
Category
This product is cataloged in our store in these categories
International
Find this product in one of our international stores
This product has not been found in other countries
Colors
Predominant colors of the product
Identifiers
Brand Springer International Publishing
ID 41276784
Dimensions / Weight
Key Features

Download our Android app and save!

Related articles

(9780321269676) - STEVENS, PERDITA - England - Addison-Wesley - Addison-Wesley Educational Publishers Inc - Book language: English - Edition: 2nd Edition - Height: 232 mm - Spine width: 16 mm - Width: 172 mm
Explore SysML and UML for system design with this guide that blends theory, practical modeling techniques, analysis methods, and real‑world case studies to streamline complex engineering projects.
🤖 Hello! I'm your virtual assistant. I can help you find products, compare prices and answer questions about your orders. Where should we start?
Chatbot service provided thanks to Gemini 3 / OpenAI using Comparor’s database. The AI may make mistakes — always verify the information.
Comparor AI BETA
Online
Restart the conversation?