Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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 Decoding the Antibody Repertoire by

bigCover of the book Structural Mechanics of Anti-Sandwiches by

bigCover of the book Enhancing Cleanup of Environmental Pollutants by

bigCover of the book Digital Pathology by

bigCover of the book Developing Community Schools, Community Learning Centers, Extended-service Schools and Multi-service Schools by

bigCover of the book Content and Consciousness Revisited by

bigCover of the book Fruit and Vegetable Storage by

bigCover of the book The Philosophical Thought of Wang Chong by

bigCover of the book Handbook of Integrative Dermatology by

bigCover of the book Women Writing Fancy by

bigCover of the book Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia by

bigCover of the book Compromise, Peace and Public Justification by

bigCover of the book Intelligent Computing Systems by

bigCover of the book Derivative-Free and Blackbox Optimization 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