Editions of Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science Book 12302)

Published October 12th 2020 by Springer

Kindle Edition, 590 pages

Author(s):

Dang Van Hung (editor),

Oleg Sokolsky (editor)

ASIN:

B0DFCC5B6L

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Lecture Notes in Computer Science Book 12302)

Published October 12th 2020 by Springer

1st ed. 2020, Kindle Edition, 590 pages

Author(s):

Dang Van Hung (editor),

Oleg Sokolsky (Editor)

ISBN:

9783030591526 (ISBN10: 3030591522)

ASIN:

B08L34RPB1

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings (Programming and Software Engineering)

Published October 12th 2020 by Springer

1st ed. 2020, Paperback, 588 pages

Author(s):

Dang Van Hung (editor),

Oleg Sokolsky (Editor)

ISBN:

9783030591519 (ISBN10: 3030591514)

ASIN:

3030591514

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Automated Technology for Verification and Analysis > Editions

by Dang Van Hung