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 At the Crossroads: Challenges of Foreign Language Learning by

bigCover of the book Gender Innovation in Political Science by

bigCover of the book Visual Attributes by

bigCover of the book Developments in Language Theory by

bigCover of the book Dynamic Performance Management by

bigCover of the book Linear Dynamical Quantum Systems by

bigCover of the book Axiomatic Design in Large Systems by

bigCover of the book Disadvantaged Workers by

bigCover of the book The Mammalian Auditory Pathways by

bigCover of the book Bioarchaeology of Impairment and Disability by

bigCover of the book Realism and Fear in International Relations by

bigCover of the book Re-Evaluating Women's Page Journalism in the Post-World War II Era by

bigCover of the book The Transatlantic Circulation of Novels Between Europe and Brazil, 1789-1914 by

bigCover of the book Individualized Medicine 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