DETALII
Citeste mai mult
Descriere RO
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions.
EdituraSpringer International Publishing AG
Dimensiuni233 x 156 x 23
Data Publicarii01/06/2022
FormatNecartonata
Numar pagini373
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.
