Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, 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 Contemporary Issues in Banking by

bigCover of the book Youth 2.0: Social Media and Adolescence by

bigCover of the book Acoustics-A Textbook for Engineers and Physicists by

bigCover of the book Multilingual Education Yearbook 2019 by

bigCover of the book Building Capacity in Institutional Research and Decision Support in Higher Education by

bigCover of the book Fluorine in Heterocyclic Chemistry Volume 2 by

bigCover of the book Cultivating Compassion by

bigCover of the book Management of Shari’ah Compliant Businesses by

bigCover of the book Cloud Computing and Security by

bigCover of the book Narrating the Global Financial Crisis by

bigCover of the book Computer Vision – ACCV 2016 Workshops by

bigCover of the book Energy Efficient Non-Road Hybrid Electric Vehicles by

bigCover of the book Ecosystem Services from Forest Landscapes by

bigCover of the book John Adams and the Constitutional History of the Medieval British Empire 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