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 Phosphate Solubilizing Microorganisms by

bigCover of the book Inspired by Nature by

bigCover of the book Electric Arc Furnace with Flat Bath by

bigCover of the book Stability of the Turnpike Phenomenon in Discrete-Time Optimal Control Problems by

bigCover of the book Biomedical Polymers by

bigCover of the book Reinventing Work in Europe by

bigCover of the book Compendium of Histology by

bigCover of the book On Values in Finance and Ethics by

bigCover of the book The Changing Epistemic Governance of European Education by

bigCover of the book Supporting Learning Across Working Life by

bigCover of the book Foundations of Information and Knowledge Systems by

bigCover of the book Life History Evolution by

bigCover of the book Managing by the Bhagavad Gītā by

bigCover of the book Contributions in Mathematics and Engineering by

bigCover of the book Computational Physics 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