{"product_id":"formal-methods-teaching-von-undefined-1","title":"Formal Methods Teaching","description":"\n                                This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.\n                \n                \u003cbr\u003e\n                                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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031275333\"\u003e\u003ch3\u003e5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031275333","offer_id":40940385435741,"sku":"9783031275333","price":58.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cffa447c-1fab-4bcf-9921-c134e6fa8a82.jpg?v=1773552868","url":"https:\/\/shop.autorenwelt.de\/en\/products\/formal-methods-teaching-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}