Articles liés à Formal Methods Teaching: 5th International Workshop,...

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings - Couverture souple

 
9783031275333: Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Couverture souple
ISBN 10 : 3031275330 ISBN 13 : 9783031275333
Editeur : Springer, 2023

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2023
Langue
anglais
ISBN 10 
3031275330
ISBN 13 
9783031275333
Reliure
Broché
Numéro d'édition
1
Nombre de pages
116
Éditeur
Dubois Catherine, San Pietro Pierluigi
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne