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: Theorie, Tools, Experiments

Verified Software: Theorie, Tools, Experiments

- 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

part of the Lecture Notes in Computer Science series

part of the Programming and Software Engineering series

Verified Software: Theorie, Tools, Experiments
About Verified Software: Theorie, Tools, Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

Show more
  • Language:
  • English
  • ISBN:
  • 9783642541070
  • Binding:
  • Paperback
  • Pages:
  • 345
  • Published:
  • January 22, 2014
  • Edition:
  • 2014
  • Dimensions:
  • 155x235x19 mm.
  • Weight:
  • 5504 g.
Delivery: 1-2 weeks
Expected delivery: December 1, 2024

Description of Verified Software: Theorie, Tools, Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

User ratings of Verified Software: Theorie, Tools, Experiments



Others also bought..
Find similar books
The book Verified Software: Theorie, Tools, 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.