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