{"product_id":"9783030921361","title":"Formal Methods: Foundations and Applications","description":"This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of 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":"Sérgio Campos","offers":[{"title":"Default Title","offer_id":47633812816190,"sku":"9783030921361","price":2340.32,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783030921361.jpg?v=1707700701","url":"https:\/\/exclusivebooks.co.za\/products\/9783030921361","provider":"Exclusive Books Online","version":"1.0","type":"link"}