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 Research Methodology by

bigCover of the book Solar to Chemical Energy Conversion by

bigCover of the book The Semantic Web by

bigCover of the book New Perspectives on Internationalization and Competitiveness by

bigCover of the book Hesitant Histories on the Romanian Screen by

bigCover of the book Energy Harvesting for Self-Powered Wearable Devices by

bigCover of the book Algebraic Inequalities by

bigCover of the book Creative Ways of Knowing in Engineering by

bigCover of the book Being Really Virtual by

bigCover of the book Basic Concepts in Nuclear Physics: Theory, Experiments and Applications by

bigCover of the book Mary Somerville and the World of Science by

bigCover of the book Natural Resources and Control Processes by

bigCover of the book Extreme Inequalities in Contemporary Capitalism by

bigCover of the book Electroweak Symmetry Breaking by

bigCover of the book Image and Video Technology 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