This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lu?beck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
save
₹1,277.00Formal Methods Teaching: 5th International Workshop, FMTea 2023, L-beck, Germany, March 6, 2023, Proceedings
10-12 Days Shipping (Supply on Demand) Advance payment (not refundable)
₹3,909.00₹5,186.00
In stock
Weight | 1 kg |
---|---|
Book Author | Dubois |
Edition | 1st |
Format | Paperback |
ISBN | 9783031275333 |
Language | English |
Pages | 116 |
Publication Year | |
Publisher | |
Sell by | sarasbooksonline.com |
Customer Reviews
There are no reviews yet.
Be the first to review “Formal Methods Teaching: 5th International Workshop, FMTea 2023, L-beck, Germany, March 6, 2023, Proceedings”