{"product_id":"formal-methods-foundations-and-applications-springer-nature-switzerland-ag-9783030638818-23rd-brazilian-symposium-sbmf-2020-ouro-preto-brazil-november-25-27-2020-proceedings-gustavo-carvalho","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\u003eGustavo Carvalho\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2020, presents the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods (SBMF 2020). Although the symposium was scheduled to be held in the picturesque city of Ouro Preto, Brazil, in November 2020, this book captures the valuable contributions and discussions that emerged from the event.\u003c\/p\u003e \n\n\u003cp\u003eSpanning \u003cstrong\u003e229 pages\u003c\/strong\u003e, this first edition offers a wealth of knowledge for researchers, practitioners, and students interested in the foundations and applications of formal methods. Explore the cutting-edge developments in this field and enhance your understanding of formal techniques that are critical for software and systems engineering. Don't miss the opportunity to add this significant work to your collection!\u003c\/p\u003e","brand":"Gustavo Carvalho","offers":[{"title":"Default Title","offer_id":52274326667606,"sku":"9783030638818","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030638818.jpg?v=1767812568","url":"https:\/\/www.englishbook.pt\/products\/formal-methods-foundations-and-applications-springer-nature-switzerland-ag-9783030638818-23rd-brazilian-symposium-sbmf-2020-ouro-preto-brazil-november-25-27-2020-proceedings-gustavo-carvalho","provider":"Bookshop","version":"1.0","type":"link"}