DETALII
Citeste mai mult
Descriere RO
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. formal analysis for modeling languages, such as UML/state charts;
EdituraSpringer International Publishing AG
Dimensiuni233 x 156 x 15
Data Publicarii23/08/2022
FormatNecartonata
Numar pagini153
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.