{"product_id":"formal-methods-teaching-5th-international-workshop-fmtea-2023-lubeck-germany-march-6-2023-proceedings-9783031275333","title":"Formal Methods Teaching: 5th International Workshop, Fmtea 2023, Lübeck, Germany, March 6, 2023, Proceedings","description":"\u003cp\u003e • Author(s): Catherine DuBois\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eThis 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.\u003cbr\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280356368535,"sku":"9783031275333","price":4040.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031275333.webp?v=1769296092","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-teaching-5th-international-workshop-fmtea-2023-lubeck-germany-march-6-2023-proceedings-9783031275333","provider":"Atlantic Books","version":"1.0","type":"link"}