Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, 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 Principles and Practice of Radiotherapy Techniques in Thoracic Malignancies by

bigCover of the book Sanskrit Astronomical Tables by

bigCover of the book Durability of Composites in a Marine Environment 2 by

bigCover of the book Youth Studies in Transition: Culture, Generation and New Learning Processes by

bigCover of the book Mobile Media Technologies and Poiēsis by

bigCover of the book Collaboration Meets Interactive Spaces by

bigCover of the book Abel Gance and the End of Silent Cinema by

bigCover of the book Energy Balance and Prostate Cancer by

bigCover of the book Ocular Surface Disease by

bigCover of the book US and EU External Labor Governance by

bigCover of the book Governance Reforms in European University Systems by

bigCover of the book Methods for Appearance-based Loop Closure Detection by

bigCover of the book Health Information Systems 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