Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, 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 Social Knowledge Management in Action by

bigCover of the book Ecological Networks in the Tropics by

bigCover of the book Natural Polymers by

bigCover of the book An Integrated Solution Based Irregular Driving Detection by

bigCover of the book Impact-Activated Solidification of Cornstarch and Water Suspensions by

bigCover of the book Sociocultural Perspectives on Youth Ethical Consumerism by

bigCover of the book Cultivating Creativity in Methodology and Research by

bigCover of the book Global Energy Demand and 2-degree Target, Report 2014 by

bigCover of the book The Business of Satirical Prints in Late-Georgian England by

bigCover of the book Excitation Spectra of Square Lattice Antiferromagnets by

bigCover of the book Persuasive Technology by

bigCover of the book Product Lifecycle Management (Volume 3): The Executive Summary by

bigCover of the book Digitalisation, Innovation, and Transformation by

bigCover of the book The Leishmaniases: Old Neglected Tropical Diseases by

bigCover of the book Recent Advances on Mycorrhizal Fungi 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