Formal Methods Teaching, Kartoniert / Broschiert
Formal Methods Teaching
Buch
- 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 54,75
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Gustavo Carvalho, Tsutomu Kobayashi
- Verlag:
- Springer, 05/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032267429
- Artikelnummer:
- 12773202
- Umfang:
- 160 Seiten
- Gewicht:
- 254 g
- Maße:
- 235 x 155 mm
- Stärke:
- 9 mm
- Erscheinungstermin:
- 19.5.2026
- Serie:
- Lecture Notes in Computer Science - Band 16566
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Formal Methods Teaching
Aktueller Preis: EUR 54,75