株式会社極東書店トップ ＞ 商品一覧 ＞ Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings.
商品詳細
Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings.
・ISBN 978-3-032-26742-9 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Carvalho, Gustavo / Kobayashi, Tsutomu (eds.), |
|---|---|
| シリーズ | Lecture Notes in Computer Science |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2026 |
| ページ数 | 147 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-24963＞ |
解説
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.