Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science, 16566) - Softcover

 
9783032267429: Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science, 16566)
Softcover
ISBN 10: 3032267420 ISBN 13: 9783032267429
Verlag: Springer, 2026

Inhaltsangabe

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.

The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited talks in full paper length. The papers are organized into the following topical sections: Invited Talks; Assessment and Evaluation in FM Education; and Experiential and Practice-Oriented FM Education.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
3032267420
ISBN 13 
9783032267429
Einband
Taschenbuch
Anzahl der Seiten
156
Herausgeber
Carvalho Gustavo, Kobayashi Tsutomu
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Abraham-Lincoln-Str. 46
Wiesbaden
65189
Deutschland