Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
AvSimone Cavalheiro,José Fiadeiro
Häftad, Engelska, 2017
Del 10623 i serien Lecture Notes in Computer Science
713 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
- -19%
- Nyhet
Del 2
- -22%
Del 1
- Nyhet
- Signerad!
- -30%
- Signerad!
Del 3
- -22%