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

- 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

part of the Programming and Software Engineering series

part of the Lecture Notes in Computer Science series

Tests and Proofs
About Tests and Proofs

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030311568
  • Binding:
  • Paperback
  • Pages:
  • 207
  • Published:
  • September 11, 2019
  • Edition:
  • 12019
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 454 g.
Delivery: 2-4 weeks
Expected delivery: October 25, 2024

Description of Tests and Proofs

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited 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.