Verification, Model Checking, and Abstract Interpretation
€ 92,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783030393212 |
|---|---|
| Editora | Springer Nature Switzerland AG |
| Preço (iva excl.) | € 87,64 |
| Imposto | € 5,26 |
| Preço (iva inc.) | € 92,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.