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 Implications of Open Access Repositories Quality Criteria and Features for Teachers’ TPACK Development by

bigCover of the book Dynamics of Civil Structures, Volume 2 by

bigCover of the book Genetics, Evolution and Radiation by

bigCover of the book Bridging Constraint Satisfaction and Boolean Satisfiability by

bigCover of the book Building-Integrated Photovoltaic Systems (BIPVS) by

bigCover of the book Quantifying Interactions of Biomolecules with Inorganic Surfaces by

bigCover of the book Reversible Computation by

bigCover of the book Applied Dynamics by

bigCover of the book Friedrich Nietzsche by

bigCover of the book Hyperparathyroidism by

bigCover of the book Turbulence and Dispersion in the Planetary Boundary Layer by

bigCover of the book New Directions in the Philosophy of Science by

bigCover of the book Groups and Markets by

bigCover of the book Joint Care of Parents and Infants in Perinatal Psychiatry by

bigCover of the book Human-Centred Web Adaptation and Personalization 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