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 Search for Sterile Neutrinos with the MINOS Long-Baseline Experiment by

bigCover of the book Cellular Therapies for Retinal Disease by

bigCover of the book Descriptive Topology and Functional Analysis II by

bigCover of the book Development Finance by

bigCover of the book Paraconsistent Intelligent-Based Systems by

bigCover of the book Energy Conversion in Natural and Artificial Photosynthesis by

bigCover of the book Advances in Structural and Multidisciplinary Optimization by

bigCover of the book How Good Policies and Business Ethics Enhance Good Quality of Life by

bigCover of the book Advances in Human Factors in Training, Education, and Learning Sciences by

bigCover of the book Introduction to Plasma Physics and Controlled Fusion by

bigCover of the book The Problem of Catalan by

bigCover of the book Biomimetic and Biohybrid Systems by

bigCover of the book English Language Ideologies in Korea by

bigCover of the book An Isogeometric Approach to Beam Structures by

bigCover of the book Advances and Challenges in Parametric and Semi-parametric Analysis for Correlated Data 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