Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer International Publishing

bigCover of the book Green Economy Reader by

bigCover of the book Advanced Information Networking and Applications by

bigCover of the book Introduction to Multiphase Flow by

bigCover of the book Epigenetics in Cardiac Disease by

bigCover of the book Application of Microalgae in Wastewater Treatment by

bigCover of the book The Ethics of Space Exploration by

bigCover of the book South Asian Rivers by

bigCover of the book Functional and Ecological Xylem Anatomy by

bigCover of the book Theatre Music and Sound at the RSC by

bigCover of the book Simulation-Driven Modeling and Optimization by

bigCover of the book Enterprise Information Systems Engineering by

bigCover of the book Materials Characterization by

bigCover of the book Intangibles, Market Failure and Innovation Performance by

bigCover of the book Infant Brain Development by

bigCover of the book Resistance to Targeted Therapies Against Adult Brain Cancers 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