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

- 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings

part of the Programming and Software Engineering series

Automated Technology for Verification and Analysis
  • Language:
  • English
  • ISBN:
  • 9783030591519
  • Binding:
  • Paperback
  • Pages:
  • 574
  • Published:
  • October 12, 2020
  • Edition:
  • 12020
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 890 g.
Delivery: 2-4 weeks
Expected delivery: October 25, 2024

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.