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 Stewarding Sustainability Transformations by

bigCover of the book Advances in Applied Digital Human Modeling and Simulation by

bigCover of the book Acoustic Sensors for Biomedical Applications by

bigCover of the book Managing Complications in Glaucoma Surgery by

bigCover of the book Sea Floor Exploration by

bigCover of the book Neuropsychological Formulation by

bigCover of the book Intuitionistic Proof Versus Classical Truth by

bigCover of the book Machine Learning and Data Mining for Sports Analytics by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Processing of Polymer-based Nanocomposites by

bigCover of the book International Perspectives on Engineering Education by

bigCover of the book Research and Development in Intelligent Systems XXXIII by

bigCover of the book Underwater Robots by

bigCover of the book Multiple Myeloma and Other Plasma Cell Neoplasms 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