DETALII
Citeste mai mult
Descriere RO
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
EdituraSpringer Nature Switzerland AG
Dimensiuni233 x 156 x 32
Data Publicarii30/03/2022
FormatNecartonata
Numar pagini493
Aceasta este o carte in limba engleza. Descrierea cartii (tradusa din engleza cu Google Translate) este in limba romana din motive legale.
