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
Big bigCover of Model Checking Software

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 ggplot2 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