Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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 Machine Learning Paradigms by

bigCover of the book Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection by

bigCover of the book Predator–Prey Interactions: Co-evolution between Bats and Their Prey by

bigCover of the book Nuclear-Pumped Lasers by

bigCover of the book Jacobus Cornelius Kapteyn by

bigCover of the book Didactics of Smart Pedagogy by

bigCover of the book Basics of PET Imaging by

bigCover of the book Great Power Conduct and Credibility in World Politics by

bigCover of the book The Problem of Catalan by

bigCover of the book Premodern Rulers and Postmodern Viewers by

bigCover of the book Behavioral Neuroscience of Learning and Memory by

bigCover of the book Pursuit of the Universal by

bigCover of the book Umbilical Cord Blood Banking and Transplantation 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