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 Bioactive Compounds from Terrestrial Extremophiles by

bigCover of the book Catching Up With Aristotle by

bigCover of the book Erectile Dysfunction in Hypertension and Cardiovascular Disease by

bigCover of the book Fundamentals of Optimization by

bigCover of the book Black Consciousness and South Africa’s National Literature by

bigCover of the book Standard EEG: A Research Roadmap for Neuropsychiatry by

bigCover of the book In Command of Guardians: Executive Servant Leadership for the Community of Responders by

bigCover of the book Patterns and Mechanisms of Climate, Paleoclimate and Paleoenvironmental Changes from Low-Latitude Regions by

bigCover of the book Narrow and Smart Textiles by

bigCover of the book The Biology of the Avian Respiratory System by

bigCover of the book Civil Wars and Third-Party Interventions in Africa by

bigCover of the book Ecological and Evolutionary Modelling by

bigCover of the book Optical Characterization of Thin Solid Films by

bigCover of the book Hybrid Systems, Optimal Control and Hybrid Vehicles by

bigCover of the book Resistance to Tyrosine Kinase Inhibitors 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