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

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Verified Software. Theories, Tools, and Experiments

More books from Springer International Publishing

bigCover of the book Violent Women in Contemporary Theatres by

bigCover of the book Logic-Based Program Synthesis and Transformation by

bigCover of the book Regional Integration in the Global South by

bigCover of the book Healthcare Partnerships for Pediatric Adherence by

bigCover of the book Arbitration and Contract Law by

bigCover of the book Evolutionary Biology: Self/Nonself Evolution, Species and Complex Traits Evolution, Methods and Concepts by

bigCover of the book An Outline of Psychiatry in Clinical Lectures by

bigCover of the book Pituitary Adenylate Cyclase Activating Polypeptide — PACAP by

bigCover of the book Probability for Physicists by

bigCover of the book The BBC, The 'War on Terror' and the Discursive Construction of Terrorism by

bigCover of the book Social Movements and the Spanish Transition by

bigCover of the book Dependent Growth: Foreign Investment and the Development of the Automotive Industry in East-Central Europe by

bigCover of the book Innovative Approaches to Supporting Families of Young Children by

bigCover of the book Management of Shari’ah Compliant Businesses 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