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

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings - Couverture souple

 
9783030915490: Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Couverture souple
ISBN 10 : 3030915492 ISBN 13 : 9783030915490
Editeur : Springer, 2021

Synopsis

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021.

The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.


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

Éditeur
Springer
Date d'édition
2021
Langue
anglais
ISBN 10 
3030915492
ISBN 13 
9783030915490
Reliure
Broché
Numéro d'édition
1
Nombre de pages
164
Éditeur
Ferreira João F., Mendes Alexandra, Menghi Claudio
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne