{"product_id":"formal-methods-foundations-and-applications-25th-brazilian-symposium-sbmf-2022-virtual-event-december-6-9-2022-proceedings-9783031224751","title":"Formal Methods: Foundations and Applications: 25th Brazilian Symposium, Sbmf 2022, Virtual Event, December 6-9, 2022, Proceedings","description":"\u003cp\u003e • Author(s): Lucas Lima\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.\u003c\/p\u003e\u003cp\u003e The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction\u003c\/p\u003e \u003cp\u003eof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45280590725271,"sku":"9783031224751","price":4040.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031224751.webp?v=1769296753","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-foundations-and-applications-25th-brazilian-symposium-sbmf-2022-virtual-event-december-6-9-2022-proceedings-9783031224751","provider":"Atlantic Books","version":"1.0","type":"link"}