Automated Technology for Verification and Analysis
€ 86,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783031199912 |
|---|---|
| Editora | Springer International Publishing AG |
| Preço (iva excl.) | € 81,98 |
| Imposto | € 4,92 |
| Preço (iva inc.) | € 86,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.