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 Humor, Laughter and Human Flourishing by

bigCover of the book Current Research Topics in Plant Virology by

bigCover of the book Adolescent Girls' Migration in The Global South by

bigCover of the book Religious Education in a Global-Local World by

bigCover of the book Building Information Modelling, Building Performance, Design and Smart Construction by

bigCover of the book Mod Two Homology and Cohomology by

bigCover of the book Advances in Knowledge Discovery in Databases by

bigCover of the book Multimodal Location Estimation of Videos and Images by

bigCover of the book European Perspectives on Behavioural Law and Economics by

bigCover of the book Hyperplane Arrangements by

bigCover of the book Evidence-Based Bunion Surgery by

bigCover of the book Antitrust in Pharmaceutical Markets & Geographical Rules of Origin by

bigCover of the book Rule of Law and Fundamental Rights by

bigCover of the book Decision Support Systems III - Impact of Decision Support Systems for Global Environments by

bigCover of the book Bladder Pain Syndrome – An Evolution 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