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 Modelling Aging and Migration Effects on Spatial Labor Markets by

bigCover of the book Landscapes and Landforms of the Lesser Antilles by

bigCover of the book Charting the Roots of Anti-Chinese Populism in Africa by

bigCover of the book Method, Substance, and the Future of African Philosophy by

bigCover of the book Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 8 by

bigCover of the book Former Foster Youth in Postsecondary Education by

bigCover of the book Back-in-Time and Faster-than-Light Travel in General Relativity by

bigCover of the book Organic Public Engagement by

bigCover of the book Emerging from an Entrenched Colonial Economy by

bigCover of the book Pedagogies in the Flesh by

bigCover of the book Implications of Open Access Repositories Quality Criteria and Features for Teachers’ TPACK Development by

bigCover of the book Representing Communities by

bigCover of the book Holographic Entanglement Entropy by

bigCover of the book Heat Transfer Modeling by

bigCover of the book An Invitation to Web Geometry 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