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 Pottery, Livelihoods, and Landscapes by

bigCover of the book A Critical Overview of Biological Functions by

bigCover of the book Effects of Insurance on Maritime Liability Law by

bigCover of the book Hemodiafiltration by

bigCover of the book Morphogenesis and Individuation by

bigCover of the book Advances in Visual Informatics by

bigCover of the book The Marxian Legacy by

bigCover of the book An Invitation to Geomathematics by

bigCover of the book Textbook of Ocular Trauma by

bigCover of the book Model and Data Engineering by

bigCover of the book At the Crossroads: Challenges of Foreign Language Learning by

bigCover of the book Network Hardening by

bigCover of the book The Role of Submarine Groundwater Discharge as Material Source to the Baltic Sea by

bigCover of the book Making a Case for Stricter Abortion Laws 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