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

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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

More books from Springer International Publishing

bigCover of the book Foundations and Practice of Security by

bigCover of the book The Mathematics of Coordinated Inference by

bigCover of the book Innovation, Regional Integration, and Development in Africa by

bigCover of the book Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer by

bigCover of the book Methods of Mathematical Modelling by

bigCover of the book Global Visions of Olof Palme, Bruno Kreisky and Willy Brandt by

bigCover of the book Economic Responsibility by

bigCover of the book A Big History of Globalization by

bigCover of the book Multibody Dynamics by

bigCover of the book Mental Health Uncertainty and Inevitability by

bigCover of the book Active Plasmonic Devices by

bigCover of the book Innovation Through Cooperation by

bigCover of the book Application of Wavelets in Speech Processing by

bigCover of the book War as Performance by

bigCover of the book The Saudi Arabian Monetary Agency, 1952-2016 by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy