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 Computational Social Networks by

bigCover of the book Local Features in Natural Images via Singularity Theory by

bigCover of the book The Complexity of Workplace Humour by

bigCover of the book Advanced Information Systems Engineering Workshops by

bigCover of the book Electronic Participation by

bigCover of the book Child and Family Well-Being and Homelessness by

bigCover of the book Ultrafast Dynamics Driven by Intense Light Pulses by

bigCover of the book The Vegetation of the Iberian Peninsula by

bigCover of the book Cardiac Management in the Frail Elderly Patient and the Oldest Old by

bigCover of the book Decision and Game Theory for Security by

bigCover of the book Algorithms and Complexity by

bigCover of the book Temporal Quantum Correlations and Hidden Variable Models by

bigCover of the book Male Hypogonadism by

bigCover of the book White Male Nostalgia in Contemporary North American Literature by

bigCover of the book Dance and the Arts in Mexico, 1920-1950 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