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 A Course in Classical Physics 1—Mechanics by

bigCover of the book Achieving Sustainable E-Government in Pacific Island States by

bigCover of the book Educating Prospective Secondary Mathematics Teachers by

bigCover of the book Cellular Imaging by

bigCover of the book Damping Optimization in Simplified and Realistic Disc Brakes by

bigCover of the book Wireless Communication Electronics by Example by

bigCover of the book Energy Technology and Valuation Issues by

bigCover of the book Model Reduction of Parametrized Systems by

bigCover of the book The Leadership Hubris Epidemic by

bigCover of the book Resistivity Recovery in Fe and FeCr alloys by

bigCover of the book Biosphere and Environmental Safety by

bigCover of the book Post-Quantum Cryptography by

bigCover of the book Social Justice Instruction by

bigCover of the book Coordination Models and Languages by

bigCover of the book The Making of Experimental Economics 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