
Formal Methods: Foundations and Applications
- Undertitel
- 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
- Redaktör
- Simone Cavalheiro, José Fiadeiro
- Upplaga
- 1st ed. 2017
- ISBN
- 9783319708478
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2017-11-12
- Sidor
- 305
