We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

- 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

part of the Lecture Notes in Computer Science series

part of the Programming and Software Engineering series

Verified Software. Theories, Tools, and Experiments Save 14% from RPP Save 14%
About Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319488684
  • Binding:
  • Paperback
  • Pages:
  • 199
  • Published:
  • November 7, 2016
  • Edition:
  • 12016
  • Dimensions:
  • 155x235x12 mm.
  • Weight:
  • 3343 g.
Delivery: 2-4 weeks
Expected delivery: January 23, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

User ratings of Verified Software. Theories, Tools, and Experiments



Others also bought..
Find similar books
The book Verified Software. Theories, Tools, and Experiments can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.