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. Tests and Proofs

Tests and Proofs

- 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

part of the Lecture Notes in Computer Science series

part of the Programming and Software Engineering series

Tests and Proofs Save 17% from RPP Save 17%
About Tests and Proofs

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319411347
  • Binding:
  • Paperback
  • Pages:
  • 199
  • Published:
  • June 20, 2016
  • Edition:
  • 12016
  • Dimensions:
  • 155x235x12 mm.
  • Weight:
  • 3343 g.
Delivery: 2-4 weeks
Expected delivery: September 17, 2025

Description of Tests and Proofs

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions.

User ratings of Tests and Proofs



Others also bought..
Find similar books
The book Tests and Proofs 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.