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 Computational Movement Analysis by

bigCover of the book Theoretical and Empirical Studies on Cooperatives by

bigCover of the book Microstructure and Properties of Ductile Iron and Compacted Graphite Iron Castings by

bigCover of the book Border Lampedusa by

bigCover of the book Interoperability, Safety and Security in IoT by

bigCover of the book The Scrum Culture by

bigCover of the book Stock Markets in Islamic Countries by

bigCover of the book Personalised Medicine by

bigCover of the book Innovative Numerical Approaches for Multi-Field and Multi-Scale Problems by

bigCover of the book Model Validation and Uncertainty Quantification, Volume 3 by

bigCover of the book Transpacific Correspondence by

bigCover of the book Advances in Social & Occupational Ergonomics by

bigCover of the book Challenges In Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctional Materials, Volume 2 by

bigCover of the book Models of Neurons and Perceptrons: Selected Problems and Challenges by

bigCover of the book Sociologies of New Zealand 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