Gå direkt till innehållet
Formal Methods: Foundations and Applications
Spara

Formal Methods: Foundations and Applications

Lägsta pris på PriceRunner
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.
Undertitel
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Upplaga
1st ed. 2017
ISBN
9783319708478
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2017-11-12
Sidor
305