Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, 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 Automated Electronic Filter Design by

bigCover of the book Affirmative Mental Health Care for Transgender and Gender Diverse Youth by

bigCover of the book Democratic Representation in Plurinational States by

bigCover of the book Springer Series in Light Scattering by

bigCover of the book Solar Cosmic Rays by

bigCover of the book Multimodal Analysis of User-Generated Multimedia Content by

bigCover of the book Central European Functional Programming School by

bigCover of the book Social Networks: A Framework of Computational Intelligence by

bigCover of the book On the Move to Meaningful Internet Systems. OTM 2018 Conferences by

bigCover of the book Parenting and Family Processes in Child Maltreatment and Intervention by

bigCover of the book Football Traumatology by

bigCover of the book Control of Nonholonomic Systems: from Sub-Riemannian Geometry to Motion Planning by

bigCover of the book Generalized Perturbations in Modified Gravity and Dark Energy by

bigCover of the book The Sociology of Shari’a: Case Studies from around the World by

bigCover of the book Short Stay Management of Acute Heart Failure 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