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 Evidence-Based Decision Making in Dentistry by

bigCover of the book Free Speech and False Speech by

bigCover of the book Nonlinear Photonics in Mid-infrared Quantum Cascade Lasers by

bigCover of the book Distributed Computer and Communication Networks by

bigCover of the book Valuing Corporate Innovation by

bigCover of the book Probing Galaxy Evolution by Unveiling the Structure of Massive Galaxies Across Cosmic Time and in Diverse Environments by

bigCover of the book Leisure, Health and Well-Being by

bigCover of the book EU Competition Law, the Consumer Interest and Data Protection by

bigCover of the book Green IT Engineering: Social, Business and Industrial Applications by

bigCover of the book Informal Ethnic Entrepreneurship by

bigCover of the book Berichte zu Pflanzenschutzmitteln by

bigCover of the book Beyond the Internet of Things by

bigCover of the book Energy Conversion and Management by

bigCover of the book Neo-Colonialism and the Poverty of 'Development' in Africa by

bigCover of the book Mapping Urban Practices Through Mobile Phone Data 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