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 Job Scheduling Strategies for Parallel Processing by

bigCover of the book Visible Light Photocatalyzed Redox-Neutral Organic Reactions and Synthesis of Novel Metal-Organic Frameworks by

bigCover of the book Exploring the Mathematical Education of Teachers Using TEDS-M Data by

bigCover of the book The History of Islam by

bigCover of the book Local Government and Urban Governance in Europe by

bigCover of the book Liganded silver and gold quantum clusters. Towards a new class of nonlinear optical nanomaterials by

bigCover of the book Hermeneutics and Phenomenology in Paul Ricoeur by

bigCover of the book Luminescence in Electrochemistry by

bigCover of the book An Introduction to Structural Mechanics for Architects by

bigCover of the book Mapping Biological Systems to Network Systems by

bigCover of the book eCommerce and the Effects of Technology on Taxation by

bigCover of the book The Nature of Peace and the Morality of Armed Conflict by

bigCover of the book The Roads to Congress 2016 by

bigCover of the book Information Systems by

bigCover of the book Biology of Chlamydia 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