Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verified Software: Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Prognostics and Health Management of Engineering Systems by

bigCover of the book The Poverty of Slavery by

bigCover of the book Democracy and Growth in the Twenty-first Century by

bigCover of the book Indoor Air Quality in Healthcare Facilities by

bigCover of the book The Food Movement, Culture, and Religion by

bigCover of the book Regulating eTechnologies in the European Union by

bigCover of the book Human Interface and the Management of Information. Visual Information and Knowledge Management by

bigCover of the book Design of Self-Assembling Materials by

bigCover of the book Innovation, Startups and Intellectual Property Management by

bigCover of the book On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor by

bigCover of the book Landslide Science for a Safer Geoenvironment by

bigCover of the book Pervasive Wireless Environments: Detecting and Localizing User Spoofing by

bigCover of the book Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 by

bigCover of the book Mobile Media Technologies and Poiēsis by

bigCover of the book The Ecosystems Revolution 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