Formal Methods: Foundations and Applications
€ 72,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783319708478 |
|---|---|
| Editora | Springer International Publishing AG |
| Preço (iva excl.) | € 68,77 |
| Imposto | € 4,13 |
| Preço (iva inc.) | € 72,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.