75.-
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.
- : Springer International Publishing Ag
- : Springer International Publishing Ag
- : 9783319708478
- : Engels
- : Paperback
- : 305
- : november 2017
- : 450
- : 215 x 140 x 27 mm.
- : Lecture Notes in Computer Science
- : Computermodellering en -simulatie; Informatica: algemene onderwerpen; Softwareontwikkeling; Systeemanalyse en systeemontwerp; Wiskundige systeemtheorie