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 Python For ArcGIS by

bigCover of the book Entrepreneurial Ecosystems by

bigCover of the book A Short Course on Topological Insulators by

bigCover of the book Advances in Swarm Intelligence by

bigCover of the book Electric and Hybrid Buses for Urban Transport by

bigCover of the book Pan-cancer Integrative Molecular Portrait Towards a New Paradigm in Precision Medicine by

bigCover of the book In Situ Monitoring of Fiber-Reinforced Composites by

bigCover of the book The Magic of Coin-Trees from Religion to Recreation by

bigCover of the book Philosophy and Computing by

bigCover of the book Advances in Design for Inclusion by

bigCover of the book Research Perspectives in Couple Therapy by

bigCover of the book Developments in Environmental Regulation by

bigCover of the book The Modes of Gaseous Combustion by

bigCover of the book Formal Techniques for Distributed Objects, Components, and Systems 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