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 Software Project Management for Distributed Computing by

bigCover of the book Molecular and Cellular Biology of Platelet Formation by

bigCover of the book How Green are Electric or Hydrogen-Powered Cars? by

bigCover of the book Fractal Solutions for Understanding Complex Systems in Earth Sciences by

bigCover of the book Sustainable Development, Knowledge Society and Smart Future Manufacturing Technologies by

bigCover of the book Logic-Based Program Synthesis and Transformation by

bigCover of the book Therapeutic Ultrasound by

bigCover of the book Gene-Environment Transactions in Developmental Psychopathology by

bigCover of the book Traveling Irishness in the Long Nineteenth Century by

bigCover of the book Big Social Data and Urban Computing by

bigCover of the book Advancing Women in Science by

bigCover of the book Functional Analysis by

bigCover of the book Endohedral Fullerenes: Electron Transfer and Spin 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