{"product_id":"formal-methods-teaching-springer-international-publishing-ag-9783031713781-6th-formal-methods-teaching-workshop-fmtea-2024-milan-italy-september-10-2024-proceedings-emil-sekerinski","title":"Formal Methods Teaching","description":"\u003cp\u003eDiscover the latest insights in formal methods education with \u003cstrong\u003eFormal Methods Teaching\u003c\/strong\u003e by \u003cstrong\u003eEmil Sekerinski\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024. This essential volume compiles the proceedings of the 6th International Workshop on Formal Methods Teaching (FMTea 2024), held in Milan, Italy, on September 10, 2024. With a total of 141 pages, this book features 7 meticulously reviewed full papers selected from 9 submissions, showcasing innovative approaches and best practices in teaching formal methods. Perfect for educators, researchers, and students in the field, this publication offers valuable perspectives that can enhance your understanding and application of formal methods. Stay ahead in the evolving landscape of formal methods education with this authoritative resource.\u003c\/p\u003e","brand":"Emil Sekerinski","offers":[{"title":"Default Title","offer_id":52264803172694,"sku":"9783031713781","price":40.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031713781.jpg?v=1767797008","url":"https:\/\/www.englishbook.pt\/products\/formal-methods-teaching-springer-international-publishing-ag-9783031713781-6th-formal-methods-teaching-workshop-fmtea-2024-milan-italy-september-10-2024-proceedings-emil-sekerinski","provider":"Bookshop","version":"1.0","type":"link"}