{"product_id":"formal-methods-teaching-6th-formal-methods-teaching-workshop-fmtea-2024-milan-italy-september-10-2024-proceedings-9783031713781","title":"Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings","description":"\u003cp\u003e • Author(s): Emil Sekerinski\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e \u003cp\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280464011415,"sku":"9783031713781","price":2791.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031713781.webp?v=1769296392","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-teaching-6th-formal-methods-teaching-workshop-fmtea-2024-milan-italy-september-10-2024-proceedings-9783031713781","provider":"Atlantic Books","version":"1.0","type":"link"}