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 Tuberculosis and Disabled Identity in Nineteenth Century Literature by

bigCover of the book Globalisation and Higher Education Reforms by

bigCover of the book Authenticity in Architectural Heritage Conservation by

bigCover of the book Perspectives in Business Informatics Research by

bigCover of the book Advancement of Optical Methods in Experimental Mechanics, Volume 3 by

bigCover of the book Extracellular Matrix for Tissue Engineering and Biomaterials by

bigCover of the book The Discourse of ADHD by

bigCover of the book Dynamics in GIscience by

bigCover of the book Construction Program Management – Decision Making and Optimization Techniques by

bigCover of the book Muslims in Putin's Russia by

bigCover of the book Therapy of the Hand and Upper Extremity by

bigCover of the book Hardware Accelerators in Data Centers by

bigCover of the book Tourism and Culture in the Age of Innovation by

bigCover of the book RF and Microwave Microelectronics Packaging II by

bigCover of the book Cardio-Renal Clinical Challenges 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