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 Management of Prostate Cancer by

bigCover of the book Policing Terrorism, Crime Control, and Police-Community Relations by

bigCover of the book Mechanical and Materials Engineering of Modern Structure and Component Design by

bigCover of the book Public-Key Cryptography – PKC 2019 by

bigCover of the book Endoscopy in Obesity Management by

bigCover of the book Advances in Energy System Optimization by

bigCover of the book Poverty and Exclusion of Minorities in China and India by

bigCover of the book Green Biocomposites by

bigCover of the book Machine Learning in Medical Imaging by

bigCover of the book Dynamics of Number Systems by

bigCover of the book Singular Configurations of Mechanisms and Manipulators by

bigCover of the book Management of Atopic Dermatitis by

bigCover of the book Proceedings of the International Conference on Health Care Systems Engineering by

bigCover of the book Deep Sky Observing by

bigCover of the book Sea Floor Exploration 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