Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings 1st 版 著者: Dang Van Hung; Oleg Sokolsky 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Technology for Verification and Analysis : 9783030591526, 3030591522 および 印刷版のISBNは 9783030591519, 3030591514. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings 1st 版 著者: Dang Van Hung; Oleg Sokolsky 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Automated Technology for Verification and Analysis : 9783030591526, 3030591522 および 印刷版のISBNは 9783030591519, 3030591514. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。