En
English
  1. Home page
  2. Catalog
  3. Books and Magazines
  4. Books
  5. Computers and Technology
  6. Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung
Write a Review
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung 2
Share

Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung

0 Reviews
Recommend
0 %
Authors Estimates
0
1
0
2
0
3
0
4
0
5
Write a Review
Sort by
Rating
Date
Write a Review
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung
Zoom
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback English by Dang Van Hung
Zoom
Add your photo
Specifications
Grade
New
Author 1
Dang Van Hung
ISBN-10
3030591514
ISBN-13
9783030591519
Language
English
Publisher
Springer