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 Human Trafficking and Security in Southern Africa by

bigCover of the book Revolutionary Committees in the Cultural Revolution Era of China by

bigCover of the book Siberian Traps and Pt-Cu-Ni Deposits in the Noril’sk Area by

bigCover of the book Complex Systems Design & Management by

bigCover of the book Formalizing Data-Centric Web Services by

bigCover of the book Formulating Poorly Water Soluble Drugs by

bigCover of the book Africa's Population: In Search of a Demographic Dividend by

bigCover of the book The Road to Discovery by

bigCover of the book Applied Demography and Public Health in the 21st Century by

bigCover of the book Unconstitutional Solitude by

bigCover of the book Financial Environment and Business Development by

bigCover of the book Humanitarian Intervention and the Responsibility to Protect by

bigCover of the book The Recovery Myth by

bigCover of the book Culture, Organizations, and Work 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