Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 201
97,60 €
The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. Subtitle 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings.
Jetzt bei Ebay: