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 High Jet Multiplicity Physics at the LHC by

bigCover of the book Engineering Women: Re-visioning Women's Scientific Achievements and Impacts by

bigCover of the book Mathematical Control Theory I by

bigCover of the book Shale Gas: Ecology, Politics, Economy by

bigCover of the book Multidisciplinary Management of Prostate Cancer by

bigCover of the book Organo-di-Metallic Compounds (or Reagents) by

bigCover of the book Hybrid Dynamical Systems by

bigCover of the book Meditation – Neuroscientific Approaches and Philosophical Implications by

bigCover of the book Atlas of Pediatric Hepatology by

bigCover of the book Structured Object-Oriented Formal Language and Method by

bigCover of the book Bondage and the Environment in the Indian Ocean World by

bigCover of the book Chemistry and Hygiene of Food Additives by

bigCover of the book Handbook of Positive Psychology in Intellectual and Developmental Disabilities by

bigCover of the book Computer Vision - ACCV 2014 Workshops 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