{"product_id":"9783031224751","title":"Formal Methods: Foundations and Applications","description":"This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. 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 constructionof 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. ","brand":"Lucas Lima","offers":[{"title":"Default Title","offer_id":47661534478654,"sku":"9783031224751","price":2342.51,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783031224751.jpg?v=1707701112","url":"https:\/\/exclusivebooks.co.za\/products\/9783031224751","provider":"Exclusive Books Online","version":"1.0","type":"link"}