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 Intelligent Methods for Cyber Warfare by

bigCover of the book Discovery of the First Asteroid, Ceres by

bigCover of the book The Myth of the Medieval Jewish Moneylender by

bigCover of the book An Introduction to Relativistic Processes and the Standard Model of Electroweak Interactions by

bigCover of the book Language Development across the Life Span by

bigCover of the book The Lattice of Subquasivarieties of a Locally Finite Quasivariety by

bigCover of the book Intellectual Property and Financing Strategies for Technology Startups by

bigCover of the book Designing Value-Creating Supply Chain Networks by

bigCover of the book Complex, Intelligent, and Software Intensive Systems by

bigCover of the book Quantum Plasmonics by

bigCover of the book Life Cycle Assessment in the Agri-food Sector by

bigCover of the book Information Systems Security by

bigCover of the book Economics of Grids, Clouds, Systems, and Services by

bigCover of the book The Fall of France in the Second World War by

bigCover of the book Networked Learning 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