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 Language and Migration in a Multilingual Metropolis by

bigCover of the book Intelligent Autonomous Systems 15 by

bigCover of the book Technology, Commercialization and Gender by

bigCover of the book Carbon for Sensing Devices by

bigCover of the book Security with Intelligent Computing and Big-data Services by

bigCover of the book Computational and Statistical Methods in Intelligent Systems by

bigCover of the book The Semantics of Gradability, Vagueness, and Scale Structure by

bigCover of the book Corporate Financial Distress by

bigCover of the book Privacy and Criminal Justice by

bigCover of the book Inter-Municipal Cooperation in Europe by

bigCover of the book Acetylene and Its Polymers by

bigCover of the book Smart Energy Control Systems for Sustainable Buildings by

bigCover of the book A New Perspective on Nonmonotonic Logics by

bigCover of the book Critical Systems: Formal Methods and Automated Verification 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