{"product_id":"formal-methods-foundations-and-applications-springer-nature-switzerland-ag-9783030921361-24th-brazilian-symposium-sbmf-2021-virtual-event-december-6-10-2021-proceedings-s-rgio-campos","title":"Formal Methods: Foundations and Applications","description":"\u003cp\u003eDiscover the essential insights of formal methods with \u003cstrong\u003eFormal Methods: Foundations and Applications\u003c\/strong\u003e by \u003cstrong\u003eSérgio Campos\u003c\/strong\u003e. This first edition, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021, compiles the refereed proceedings from the 24th Brazilian Symposium on Formal Methods (SBMF 2021), held in December 2021. Spanning 141 pages, this book delves into the foundational theories and practical applications of formal methods, making it an invaluable resource for researchers and practitioners in the field. Enhance your understanding of this critical area of study and explore the latest advancements presented by leading experts. Perfect for those looking to deepen their knowledge and stay updated on formal methods, this book is a must-have for your collection.\u003c\/p\u003e","brand":"Sérgio Campos","offers":[{"title":"Default Title","offer_id":52274326765910,"sku":"9783030921361","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030921361.jpg?v=1767812566","url":"https:\/\/www.englishbook.fi\/products\/formal-methods-foundations-and-applications-springer-nature-switzerland-ag-9783030921361-24th-brazilian-symposium-sbmf-2021-virtual-event-december-6-10-2021-proceedings-s-rgio-campos","provider":"Bookshop","version":"1.0","type":"link"}