Pierluigi San Pietro – författare
Visar alla böcker från författaren Pierluigi San Pietro. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 13962 - Lecture Notes in Computer Science
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Häftad, Engelska, 2023
597 kr
Skickas inom 5-8 vardagar
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 worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Engelska, 2023
648 kr
Skickas inom 5-8 vardagar