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 The Euro and the Crisis by

bigCover of the book Ethnomathematics and its Diverse Approaches for Mathematics Education by

bigCover of the book Atlas of Elastosonography by

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

bigCover of the book Atlas of Upper Extremity Trauma by

bigCover of the book Augmented Cognition by

bigCover of the book Energy Economy, Finance and Geostrategy by

bigCover of the book Handbook of Mental Health in African American Youth by

bigCover of the book Competitive Strategies for Small and Medium Enterprises by

bigCover of the book Case Method and Pluralist Economics by

bigCover of the book Tribology in Sheet Rolling Technology by

bigCover of the book Advances in Human Factors in Robots and Unmanned Systems by

bigCover of the book Wireless Internet by

bigCover of the book A Big History of Globalization 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