{"product_id":"formal-methods-teaching-springer-international-publishing-ag-9783031275333-5th-international-workshop-fmtea-2023-lubeck-germany-march-6-2023-proceedings-catherine-dubois","title":"Formal Methods Teaching","description":"\u003cp\u003eDiscover the latest insights in formal methods education with \u003cstrong\u003eFormal Methods Teaching\u003c\/strong\u003e by \u003cstrong\u003eCatherine Dubois\u003c\/strong\u003e. This essential volume compiles the proceedings of the 5th International Workshop on Formal Methods Teaching (FMTea 2023), held in Lübeck, Germany, in March 2023. Inside, you'll find 7 meticulously reviewed full papers, selected from a competitive pool of 10 submissions, showcasing innovative approaches and best practices in the field.\u003c\/p\u003e \u003cp\u003ePublished by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition features 105 pages of valuable content that is perfect for educators, researchers, and students interested in enhancing their understanding of formal methods. Don't miss the opportunity to enrich your knowledge and teaching strategies with this comprehensive resource.\u003c\/p\u003e","brand":"Catherine Dubois","offers":[{"title":"Default Title","offer_id":52274326569302,"sku":"9783031275333","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031275333.jpg?v=1767812566","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-teaching-springer-international-publishing-ag-9783031275333-5th-international-workshop-fmtea-2023-lubeck-germany-march-6-2023-proceedings-catherine-dubois","provider":"Bookshop","version":"1.0","type":"link"}