{"product_id":"formal-methods-and-software-engineering-springer-nature-switzerland-ag-9789819606160-25th-international-conference-on-formal-engineering-methods-icfem-2024-hiroshima-japan-december-2-6-2024-proceedings","title":"Formal Methods and Software Engineering","description":"\u003cp\u003eDiscover the latest advancements in software engineering with \u003cstrong\u003eFormal Methods and Software Engineering\u003c\/strong\u003e, edited by leading experts and published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e. This comprehensive volume, part of the prestigious LNCS series (Volume 15394), features the refereed proceedings from the \u003cstrong\u003e25th International Conference on Formal Engineering Methods (ICFEM 2024)\u003c\/strong\u003e, held in Hiroshima, Japan, in December 2024.\u003c\/p\u003e\n\n\u003cp\u003eInside, you will find 22 meticulously reviewed full papers, selected from a competitive pool of 50 submissions, showcasing cutting-edge research and methodologies in formal engineering. Spanning over \u003cstrong\u003e410 pages\u003c\/strong\u003e, this paperback edition is an essential resource for researchers, practitioners, and students eager to deepen their understanding of formal methods in software development.\u003c\/p\u003e\n\n\u003cp\u003eStay ahead in the rapidly evolving field of software engineering with insights and findings presented in this authoritative collection. Order your copy today at \u003cstrong\u003eBookshop\u003c\/strong\u003e!\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52264803795286,"sku":"9789819606160","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789819606160.jpg?v=1767797009","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-and-software-engineering-springer-nature-switzerland-ag-9789819606160-25th-international-conference-on-formal-engineering-methods-icfem-2024-hiroshima-japan-december-2-6-2024-proceedings","provider":"Bookshop","version":"1.0","type":"link"}