booktheque

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

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler · 2019

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2019
Publisher
Springer
Editions
2
Pages
267
ISBN
9783319892146

Data source: Wikidata