Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Coordination Models and Languages
häftad,
2022,
Engelska,
ISBN 9783031081453
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in …
Integrated Formal Methods
häftad,
2022,
Engelska,
ISBN 9783031077265
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 …