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 Descriptive Topology and Functional Analysis II by

bigCover of the book Introduction to Probability with Statistical Applications by

bigCover of the book Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective by

bigCover of the book Sexual Health and Genital Medicine in Clinical Practice by

bigCover of the book Impact of Circular Migration on Human, Political and Civil Rights by

bigCover of the book Corporate Social Responsibility in Sub-Saharan Africa by

bigCover of the book Application of Wavelets in Speech Processing by

bigCover of the book Cultivating Creativity in Methodology and Research by

bigCover of the book Biomolecular Interfaces by

bigCover of the book Protein Targeting Compounds by

bigCover of the book Public International Law and Human Rights Violations by Private Military and Security Companies by

bigCover of the book Accountability and Security in the Cloud by

bigCover of the book Studying Animal Languages Without Translation: An Insight from Ants by

bigCover of the book Minority Rights and the National Question in Nigeria 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