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 A Mindfulness Intervention for Children with Autism Spectrum Disorders by

bigCover of the book Atlas of Coronary Intravascular Optical Coherence Tomography by

bigCover of the book Fundamentals of Physics and Chemistry of the Atmosphere by

bigCover of the book Service Orientation in Holonic and Multi-Agent Manufacturing by

bigCover of the book Structured Object-Oriented Formal Language and Method by

bigCover of the book Can We Talk Mediterranean? by

bigCover of the book Australian Screen in the 2000s by

bigCover of the book Machine Learning in VLSI Computer-Aided Design by

bigCover of the book Twenty-First Century Marianne Moore by

bigCover of the book Non-equilibrium Dynamics of One-Dimensional Bose Gases by

bigCover of the book Universal Biology after Aristotle, Kant, and Hegel by

bigCover of the book Level Crossing Methods in Stochastic Models by

bigCover of the book Modelling and Implementation of Complex Systems by

bigCover of the book Beneficial Ownership 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