DETALII
Citeste mai mult
Descriere RO
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.
EdituraSpringer International Publishing AG
Dimensiuni233 x 156 x 19
Data Publicarii12/11/2017
FormatNecartonata
Numar pagini305
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.
