Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Sekerinski, Emil, Ribeiro, Leila
- 出版商: Springer
- 出版日期: 2024-09-05
- 售價: $2,010
- 貴賓價: 9.5 折 $1,910
- 語言: 英文
- 頁數: 141
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031713788
- ISBN-13: 9783031713781
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.
The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
商品描述(中文翻譯)
本書為第六屆國際正式方法教學研討會（FMTea 2024）的會議紀錄，該研討會於2024年9月10日在義大利米蘭舉行。
本會議紀錄中包含的七篇完整論文經過仔細審查，從九篇投稿中選出。此外，本書還包含一篇完整長度的邀請演講。這些論文專注於學習正式方法，以便於教學和自我學習的目的。
