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 Wireless Communications for Power Substations: RF Characterization and Modeling by

bigCover of the book Geoscience Education by

bigCover of the book Performance for Resilience by

bigCover of the book Families and Technology by

bigCover of the book WALCOM: Algorithms and Computation by

bigCover of the book New Trends in Model and Data Engineering by

bigCover of the book Dental Stem Cells by

bigCover of the book Financial Accounting and Management Control by

bigCover of the book Food Security Governance in the Arctic-Barents Region by

bigCover of the book Analytic Number Theory by

bigCover of the book The Present Image by

bigCover of the book Cross-Cultural Design. Culture and Society by

bigCover of the book Securing Water and Wastewater Systems by

bigCover of the book Pediatric Psychogenic Non-Epileptic Seizures by

bigCover of the book Stability Theory for Dynamic Equations on Time Scales 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