Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings | Agenda Bookshop Skip to content
Selected Colleen Hoover Books at €9.99c | In-store & Online
Selected Colleen Hoover Books at €9.99c | In-store & Online
Age Group_Uncategorized
Age Group_Uncategorized
automatic-update
B01=Emil Sekerinski
B01=Leila Ribeiro
Category1=Non-Fiction
Category=JHBC
Category=PBCD
Category=UB
Category=UK
Category=UMZ
Category=UYQ
Category=UYQL
COP=Switzerland
Delivery_Pre-order
Language_English
PA=Not yet available
Price_€20 to €50
PS=Forthcoming
softlaunch

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

★★★★★
★★★★★

English

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.

See more
€37.79
€41.99
Save 10%
Age Group_Uncategorizedautomatic-updateB01=Emil SekerinskiB01=Leila RibeiroCategory1=Non-FictionCategory=JHBCCategory=PBCDCategory=UBCategory=UKCategory=UMZCategory=UYQCategory=UYQLCOP=SwitzerlandDelivery_Pre-orderLanguage_EnglishPA=Not yet availablePrice_€20 to €50PS=Forthcomingsoftlaunch

Will deliver when available. Publication date 17 Oct 2024

Product Details
  • Dimensions: 155 x 235mm
  • Publication Date: 17 Oct 2024
  • Publisher: Springer International Publishing AG
  • Publication City/Country: Switzerland
  • Language: English
  • ISBN13: 9783031713781

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept