Pierluigi San Pietro - Böcker

Visar alla böcker från författaren Pierluigi San Pietro. Handla med fri frakt och snabb leverans.

2 produkter

Kategorier

2 produkter

Del 13962 - Lecture Notes in Computer Science

Formal Methods Teaching

5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

AvCatherine Dubois,Pierluigi San Pietro

Häftad, Engelska, 2023

588 kr

Skickas inom 7-10 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.