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 Asset Management and Institutional Investors by

bigCover of the book Exploring Services Science by

bigCover of the book Damping Optimization in Simplified and Realistic Disc Brakes by

bigCover of the book Predicting Real World Behaviors from Virtual World Data by

bigCover of the book Cloud Computing and Security by

bigCover of the book Computer Vision – ECCV 2016 by

bigCover of the book Policy Design in the European Union by

bigCover of the book Neurological Regeneration by

bigCover of the book Applied Bioinformatics by

bigCover of the book The Changing Academic Profession in Japan by

bigCover of the book Advanced Optical and Wireless Communications Systems by

bigCover of the book New Dualities of Supersymmetric Gauge Theories by

bigCover of the book New Perspectives on Internationalization and Competitiveness by

bigCover of the book Heuristic Search by

bigCover of the book The Mirror of Information in Early Modern England 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