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 Guide to Computer Network Security by
bigCover of the book Architectural Draughtsmanship by
bigCover of the book Advances in Hybridization of Intelligent Methods by
bigCover of the book Bacterial Diversity in Sustainable Agriculture by
bigCover of the book Violence and Mental Illness by
bigCover of the book American Shale Energy and the Global Economy by
bigCover of the book Information Fusion and Intelligent Geographic Information Systems (IF&IGIS'17) by
bigCover of the book Green Low-Carbon Development in China by
bigCover of the book Modeling Transport Phenomena in Porous Media with Applications by
bigCover of the book Essentials of Pericyclic and Photochemical Reactions by
bigCover of the book Information Security Practices by
bigCover of the book European Psychiatric/Mental Health Nursing in the 21st Century by
bigCover of the book Production and Efficiency Analysis with R by
bigCover of the book Soil Biological Communities and Ecosystem Resilience by
bigCover of the book Sustained Simulation Performance 2015 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