Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Programming and Software Engineering)
ISBN: 9783030317836

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings (Programming and Software Engineering)

☆☆☆☆☆0.00 note moyenne
0 évaluations parGoodreads
Éditeur: Springer, 2019-10-06
Édition: Paperback
Langue: English

Notre site contient des liens d'affiliation. Lorsque vous effectuez un achat en utilisant nos liens, nous percevons une commission.