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 Climate Change Adaptation in Pacific Countries by

bigCover of the book Safety Protocols in the Food Industry and Emerging Concerns by

bigCover of the book Computer and Computing Technologies in Agriculture IX by

bigCover of the book The Neurological Emergence of Epilepsy by

bigCover of the book Alexander L. George: A Pioneer in Political and Social Sciences by

bigCover of the book Applications of Quantum Dynamics in Chemistry by

bigCover of the book Experimentation Methodology for Engineers by

bigCover of the book Multiple Perspectives in Risk and Risk Management by

bigCover of the book Indentation Testing of Biological Materials by

bigCover of the book Data Deduplication for Data Optimization for Storage and Network Systems by

bigCover of the book High-Mountain Atmospheric Research by

bigCover of the book Integrated Water Resources Management: Concept, Research and Implementation by

bigCover of the book Autonomous Agents and Multiagent Systems by

bigCover of the book Understanding Terrestrial Microbial Communities 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