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
Big bigCover of Verified Software. Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Machine Learning in Complex Networks by
bigCover of the book Surrogate Motherhood Families by
bigCover of the book Crisis of Legitimacy and Political Violence in Uganda, 1890 to 1979 by
bigCover of the book Limiting Global Warming to Well Below 2 °C: Energy System Modelling and Policy Development by
bigCover of the book Global Child Health by
bigCover of the book The In-Discipline of Design by
bigCover of the book Recent Developments in Data Science and Business Analytics by
bigCover of the book The Vienna Circle by
bigCover of the book River Contracts and Integrated Water Management in Europe by
bigCover of the book Computer and Information Sciences by
bigCover of the book Great Powers and US Foreign Policy towards Africa by
bigCover of the book The Digital Arts and Humanities by
bigCover of the book Excel 2016 for Social Science Statistics by
bigCover of the book Oil Pollution in the North Sea by
bigCover of the book Carbon Nanomaterials for Biomedical Applications 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