Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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 Plant Stress Tolerance by

bigCover of the book Distinguished Figures in Descriptive Geometry and Its Applications for Mechanism Science by

bigCover of the book Afrofuturism and Black Sound Studies by

bigCover of the book Technology and the Intelligence Community by

bigCover of the book Comparative Medicine by

bigCover of the book Positional Plagiocephaly by

bigCover of the book Translational Approaches to Autism Spectrum Disorder by

bigCover of the book Detonation Control for Propulsion by

bigCover of the book Social Dreaming, Associative Thinking and Intensities of Affect by

bigCover of the book Geodynamic Evolution of the Southernmost Andes by

bigCover of the book Investigating White-Collar Crime by

bigCover of the book Coding Ockham's Razor by

bigCover of the book Free Fatty Acid Receptors by

bigCover of the book Finite Approximations in Discrete-Time Stochastic Control 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