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 Handbook of Parent-Child Interaction Therapy for Children on the Autism Spectrum by

bigCover of the book The Design, Experience and Practice of Networked Learning by

bigCover of the book Knowledge, Power, and Women's Reproductive Health in Japan, 1690–1945 by

bigCover of the book Health, Technologies, and Politics in Post-Soviet Settings by

bigCover of the book Field-Based Learning in Family Life Education by

bigCover of the book Social Media and Local Governments by

bigCover of the book Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing by

bigCover of the book The Future of the Post-Massified University at the Crossroads by

bigCover of the book Inventory Management with Alternative Delivery Times by

bigCover of the book Social Sciences for an Other Politics by

bigCover of the book The Twin Sister Planets Venus and Earth by

bigCover of the book Could the Versailles System have Worked? by

bigCover of the book Informatics in Schools: Focus on Learning Programming by

bigCover of the book Computer Vision – ECCV 2016 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