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 Homicide in São Paulo by
bigCover of the book Neuroanatomy for the Neuroscientist by
bigCover of the book Connecting Science and Engineering Education Practices in Meaningful Ways by
bigCover of the book Collaborative Web Hosting by
bigCover of the book Mockumentary Comedy by
bigCover of the book Light and Specular Microscopy of the Cornea by
bigCover of the book Bridging Constraint Satisfaction and Boolean Satisfiability by
bigCover of the book Handbook of International Negotiation by
bigCover of the book Creativity and Critique in Online Learning by
bigCover of the book Marketing and Customer Loyalty by
bigCover of the book Wood Polymer Nanocomposites by
bigCover of the book Corporate Social Responsibility in the Maritime Industry by
bigCover of the book Adaptive Water Management by
bigCover of the book Collaboration and Technology by
bigCover of the book 50 Years of Phytochemistry Research 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