Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19û23, 2020, Proceedings

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19û23, 2020, Proceedings

Springer
SKU:
9783030591519
|
ISBN13:
9783030591519
$118.37
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
  • | Author: Dang Van Hung, Oleg Sokolsky
  • | Publisher: Springer
  • | Publication Date: Oct 12, 2020
  • | Number of Pages: 588 pages
  • | Language: English
  • | Binding: Paperback
  • | ISBN-10: 3030591514
  • | ISBN-13: 9783030591519
Additional Information
Author:
Dang Van Hung, Oleg Sokolsky
Publisher:
Springer
Publication Date:
Oct 12, 2020
Number of pages:
588 pages
Language:
English
Binding:
Paperback
ISBN-10:
3030591514
ISBN-13:
9783030591519
Related Products