{"product_id":"formal-methods-foundations-and-applications-springer-international-publishing-ag-9783031224751-25th-brazilian-symposium-sbmf-2022-virtual-event-december-6-9-2022-proceedings-lucas-lima","title":"Formal Methods: Foundations and Applications","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eFormal Methods: Foundations and Applications\u003c\/strong\u003e by \u003cstrong\u003eLucas Lima\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2022. This first edition, spanning \u003cstrong\u003e143 pages\u003c\/strong\u003e, compiles the refereed proceedings of the 25th Brazilian Symposium on Formal Methods (SBMF 2022), held virtually in December 2022. Inside, you will find eight meticulously reviewed papers, selected from a competitive pool of 15 submissions, showcasing the latest advancements and applications in formal methods. This book is a must-have for researchers, practitioners, and students interested in the foundational aspects and practical applications of formal methodologies. Enhance your understanding of the field with this comprehensive collection of scholarly work.\u003c\/p\u003e","brand":"Lucas Lima","offers":[{"title":"Default Title","offer_id":52274326700374,"sku":"9783031224751","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031224751.jpg?v=1767812565","url":"https:\/\/www.bookshop.lv\/products\/formal-methods-foundations-and-applications-springer-international-publishing-ag-9783031224751-25th-brazilian-symposium-sbmf-2022-virtual-event-december-6-9-2022-proceedings-lucas-lima","provider":"Bookshop","version":"1.0","type":"link"}