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 Safe Zone by
bigCover of the book Functional Molecular Silicon Compounds I by
bigCover of the book Fluid and Thermodynamics by
bigCover of the book Genetic Neuromuscular Disorders by
bigCover of the book Was Ludwig von Mises a Conventionalist? by
bigCover of the book Understanding EU Decision-Making by
bigCover of the book Dermatological Atlas of Indigenous People by
bigCover of the book Advances in Global Marketing by
bigCover of the book Report of the Workshop Predictive Theoretical, Computational and Experimental Approaches for Additive Manufacturing (WAM 2016) by
bigCover of the book Sensing Vehicle Conditions for Detecting Driving Behaviors by
bigCover of the book Fundamentals of Machine Theory and Mechanisms by
bigCover of the book Taming Childhood? by
bigCover of the book Thriving Rough Sets by
bigCover of the book The European Union as Guardian of Internet Privacy by
bigCover of the book Animal Ethics in the Age of Humans 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