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 Advanced Information Systems Engineering Workshops by

bigCover of the book Detoxification of Chemical Warfare Agents by

bigCover of the book 129 Xe Relaxation and Rabi Oscillations by

bigCover of the book The Science of Vehicle Dynamics by

bigCover of the book Unsupervised Learning Algorithms by

bigCover of the book Optimization and Control of Dynamic Systems by

bigCover of the book Image and Signal Processing by

bigCover of the book High Tech Concrete: Where Technology and Engineering Meet by

bigCover of the book Issues in Science and Theology: Are We Special? by

bigCover of the book Cyber Physical Systems. Design, Modeling, and Evaluation by

bigCover of the book Autonomous Agents and Multiagent Systems by

bigCover of the book The Practice of Enterprise Modeling by

bigCover of the book Landscapes and Landforms of the Czech Republic by

bigCover of the book Global Forest Governance and Climate Change 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