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 Introduction to Noncommutative Algebra by

bigCover of the book Classical Music Radio in the United Kingdom, 1945–1995 by

bigCover of the book Food Across Cultures by

bigCover of the book The European Union in Crisis by

bigCover of the book Multivariable Calculus with Applications by

bigCover of the book Frictionless Markets by

bigCover of the book Quality Teaching in Primary Science Education by

bigCover of the book Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias by

bigCover of the book Ionic Polymer Metal Composites for Sensors and Actuators by

bigCover of the book Explaining European Identity Formation by

bigCover of the book Extension of the Fuzzy Sugeno Integral Based on Generalized Type-2 Fuzzy Logic by

bigCover of the book Operator Approximant Problems Arising from Quantum Theory by

bigCover of the book Thermal Energy Storage Using Phase Change Materials by

bigCover of the book Demography for Planning and Policy: Australian Case Studies by

bigCover of the book Ensuring Quality in Professional Education Volume I 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