{"product_id":"9783319708478-formal-methods-foundations-and-applica","title":"Formal Methods: Foundations and Applications","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings\u003cbr\u003eThis book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November\/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282759627126,"sku":"9783319708478","price":57.66,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36199926_4d3a9d37-a5da-4a90-a8c7-bc86102db8b9.jpg?v=1758768335","url":"https:\/\/www.rarewaves.com\/products\/9783319708478-formal-methods-foundations-and-applica","provider":"Rarewaves.com","version":"1.0","type":"link"}