Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings
暫譯: 正式方法教學：第七屆正式方法教學研討會 Fmtea 2026，2026年5月19日，日本東京，會議論文集
Carvalho, Gustavo, Kobayashi, Tsutomu
- 出版商: Springer
- 出版日期: 2026-05-19
- 售價: $2,640
- 貴賓價: 9.5 折 $2,508
- 語言: 英文
- 頁數: 147
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032267420
- ISBN-13: 9783032267429
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第七屆國際正式方法教學研討會（FMTea 2026）的經過審稿的會議論文集，該會議於2026年5月19日在日本東京舉行。
本論文集中包含的六篇完整論文是從12篇投稿中仔細審核和選出的。書中還包含兩篇完整長度的邀請演講。論文組織成以下主題部分：邀請演講；正式方法教育中的評估與評價；以及以經驗和實踐為導向的正式方法教育。
