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 Using Commercial Amateur Astronomical Spectrographs by

bigCover of the book Haptics: Perception, Devices, Control, and Applications by

bigCover of the book Acute Promyelocytic Leukemia by

bigCover of the book The Legal Doctrines of the Rule of Law and the Legal State (Rechtsstaat) by

bigCover of the book Restorative Justice in China by

bigCover of the book Uncertainty Quantification for Hyperbolic and Kinetic Equations by

bigCover of the book Biodiversity and Education for Sustainable Development by

bigCover of the book National Security, Statecentricity, and Governance in East Asia by

bigCover of the book Computer Security -- ESORICS 2015 by

bigCover of the book Studies on Binocular Vision by

bigCover of the book Hydrogeomorphic Risk Analysis Affecting Chalcolithic Archaeological Sites from Valea Oii (Bahlui) Watershed, Northeastern Romania by

bigCover of the book Culture, Organizations, and Work by

bigCover of the book Ascension Theology and Habakkuk by

bigCover of the book Advanced Control of Piezoelectric Micro-/Nano-Positioning Systems by

bigCover of the book Craniofacial Trauma 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