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. Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

- 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

part of the Lecture Notes in Computer Science series

part of the Programming and Software Engineering series

Automated Technology for Verification and Analysis Save 14% from RPP Save 14%
About Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.

Show more
  • Language:
  • English
  • ISBN:
  • 9783030317836
  • Binding:
  • Paperback
  • Pages:
  • 552
  • Published:
  • October 5, 2019
  • Edition:
  • 12019
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 854 g.
Delivery: 2-4 weeks
Expected delivery: December 12, 2024

Description of Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.

User ratings of Automated Technology for Verification and Analysis



Others also bought..
Find similar books
The book Automated Technology for Verification and Analysis 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.