Tools and Algorithms for the Construction and Analysis of Systems
€ 46,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783030720155 |
|---|---|
| Editora | Springer Nature Switzerland AG |
| Preço (iva excl.) | € 44,25 |
| Imposto | € 2,65 |
| Preço (iva inc.) | € 46,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.