Formal Methods: Foundations and Applications
€72.90
Shipping in 4/5 days
Product Information
| ISBN | 9783319708478 |
|---|---|
| Publisher | Springer International Publishing AG |
| Price (excl. tax) | €68.77 |
| Tax | €4.13 |
| Price (incl. tax) | €72.90 |
| Availability | 1 unit in external warehouse |
Product Description
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.