Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, 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 On the Economic Significance of the Catholic Social Doctrine by

bigCover of the book Topics in Modal Analysis II, Volume 8 by

bigCover of the book Piezoelectric MEMS Resonators by

bigCover of the book Human-Computer Interaction – INTERACT 2015 by

bigCover of the book Guide to OSI and TCP/IP Models by

bigCover of the book Context-Enhanced Information Fusion by

bigCover of the book Redox Homeostasis in Plants by

bigCover of the book Multi-shell Polyhedral Clusters by

bigCover of the book The Realization of Star Trek Technologies by

bigCover of the book Netflix and the Re-invention of Television by

bigCover of the book The Theory of Externalities and Public Goods by

bigCover of the book Digital Economy. Emerging Technologies and Business Innovation by

bigCover of the book Towards Integrating Control and Information Theories by

bigCover of the book Extended Abstracts Spring 2018 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