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

 
9783031275357: Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Couverture souple
ISBN 10 : 3031275357 ISBN 13 : 9783031275357
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 
3031275357
ISBN 13 
9783031275357
Reliure
Broché
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3031275330 ISBN 13 :  9783031275333
Editeur : Springer, 2023
Couverture souple