Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, 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 Multiplicity and Ontology in Deleuze and Badiou by
bigCover of the book 50 Years of Phytochemistry Research by
bigCover of the book Quality of Experience by
bigCover of the book Sustainable Agriculture Reviews 34 by
bigCover of the book Maillard Reaction in Foods by
bigCover of the book Languages, Design Methods, and Tools for Electronic System Design by
bigCover of the book Chlamydomonas: Molecular Genetics and Physiology by
bigCover of the book Handbook of Trace Analysis by
bigCover of the book Screen-Printing Electrochemical Architectures by
bigCover of the book Oxidative Stress in Human Reproduction by
bigCover of the book Advances in Human Factors in Communication of Design by
bigCover of the book Mechanical Properties of Polymers Measured through AFM Force-Distance Curves by
bigCover of the book A Student's Guide Through the Great Physics Texts by
bigCover of the book Enhancing Cleanup of Environmental Pollutants by
bigCover of the book Microbes for Legume Improvement 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