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 Statistics for Mathematicians by

bigCover of the book Dark Energy and the Formation of the Large Scale Structure of the Universe by

bigCover of the book End-User Development by

bigCover of the book Beginning Data Science with R by

bigCover of the book The Principles of Alternative Investments Management by

bigCover of the book Inclusive Education and Disability in the Global South by

bigCover of the book The Visual Language of Technique by

bigCover of the book Irish Poets and Modern Greece by

bigCover of the book Basic Sciences in Anesthesia by

bigCover of the book A Conceptual and Therapeutic Analysis of Fear by

bigCover of the book Geriatric Trauma and Acute Care Surgery by

bigCover of the book The Youth Experience Gap by

bigCover of the book Rotating Machinery, Hybrid Test Methods, Vibro-Acoustics & Laser Vibrometry, Volume 8 by

bigCover of the book Seminal Contributions to Modelling and Simulation 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