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 Evanescent Waves in Optics by
bigCover of the book Vascular Surgery by
bigCover of the book Gun Violence Prevention? by
bigCover of the book Passive and Active Measurement by
bigCover of the book Topics in Cryptology – CT-RSA 2018 by
bigCover of the book Gender Responsive and Participatory Budgeting by
bigCover of the book Tillich and the Abyss by
bigCover of the book Acute Lung Injury and Repair by
bigCover of the book The Hsp60 Chaperonin by
bigCover of the book Political Marketing and Management in the 2017 New Zealand Election by
bigCover of the book Neogene Micropaleontology and Stratigraphy of Argentina by
bigCover of the book The Palgrave Handbook of Indicators in Global Governance by
bigCover of the book A History of Biophysics in Contemporary China by
bigCover of the book Asymptotic Approximations for the Sound Generated by Aerofoils in Unsteady Subsonic Flows by
bigCover of the book Fostering a Climate of Inclusion in the College Classroom 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