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
Big bigCover of Model Checking Software

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 Bent Functions 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