Pierluigi San Pietro – författare
Visar alla böcker från författaren Pierluigi San Pietro. Handla med fri frakt och snabb leverans.
3 produkter
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Av Catherine Dubois, Pierluigi San Pietro
Häftad, 2023
604 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a …
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings
Av Pierluigi San Pietro, Catherine Dubois
E-bok, 2023
815 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a …
