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 Computer Vision – ACCV 2016 by

bigCover of the book Iconicity and Abduction by

bigCover of the book Political Economy Perspectives on the Greek Crisis by

bigCover of the book Congenital Heart Disease in Pediatric and Adult Patients by

bigCover of the book Negative Theology and Utopian Thought in Contemporary American Poetry by

bigCover of the book Demystifying Interventional Radiology by

bigCover of the book Progress in the Chemistry of Organic Natural Products 102 by

bigCover of the book Big Data for the Greater Good by

bigCover of the book A Critical Examination of Ethics in Health Care and Biomedical Research by

bigCover of the book Computational Information Geometry by

bigCover of the book The Economics of the Monetary Union and the Eurozone Crisis by

bigCover of the book Evaluating Collaboration Networks in Higher Education Research by

bigCover of the book Materials with Internal Structure by

bigCover of the book Visible and Invisible 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