{"product_id":"formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030852474-26th-international-conference-fmics-2021-paris-france-august-24-26-2021-proceedings-alberto-lluch-lafuente","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eDiscover the essential insights of the 26th International Workshop on Formal Methods for Industrial Critical Systems with the book \u003cstrong\u003eFormal Methods for Industrial Critical Systems\u003c\/strong\u003e by \u003cstrong\u003eAlberto Lluch Lafuente\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, this first edition spans \u003cstrong\u003e249 pages\u003c\/strong\u003e and delves into the latest advancements in formal methods vital for ensuring the reliability and safety of industrial systems. This comprehensive collection of proceedings from FMICS 2021, held from August 24-26, 2021, brings together leading experts and researchers in the field, providing a valuable resource for professionals and scholars alike. Enhance your understanding of critical systems and their formal methodologies with this authoritative text. Perfect for anyone involved in industrial applications, this book is a must-have for your library.\u003c\/p\u003e","brand":"Alberto Lluch Lafuente","offers":[{"title":"Default Title","offer_id":52274327093590,"sku":"9783030852474","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030852474.jpg?v=1767812569","url":"https:\/\/www.englishbook.pt\/products\/formal-methods-for-industrial-critical-systems-springer-nature-switzerland-ag-9783030852474-26th-international-conference-fmics-2021-paris-france-august-24-26-2021-proceedings-alberto-lluch-lafuente","provider":"Bookshop","version":"1.0","type":"link"}