Get Free Shipping on orders over $79
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings - Emil Sekerinski
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

By: Emil Sekerinski (Editor), Leila Ribeiro (Editor)

Paperback | 9 October 2024

At a Glance

Paperback


$64.99

or 4 interest-free payments of $16.25 with

 or 

Ships in 5 to 7 business days

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.

More in Mathematical Logic

Essays in Analysis : Routledge Revivals - Alice Ambrose
Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas