{"product_id":"formal-methods-foundations-and-applications-20th-brazilian-symposium-sbmf-2017-recife-brazil-november-27-december-1-2017-proceedings-von-simone-cavalheiro-jose-fiadeiro-hrsg","title":"Formal Methods: Foundations and Applications","description":"\n                                This 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. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.\n                \n                \u003cbr\u003e\n                                The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319708478\"\u003e\u003ch3\u003e20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319708478","offer_id":39427539664989,"sku":"9783319708478","price":69.54,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ec07779e-dd3d-418d-b9c8-f5047dc2c401.jpg?v=1773552229","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-foundations-and-applications-20th-brazilian-symposium-sbmf-2017-recife-brazil-november-27-december-1-2017-proceedings-von-simone-cavalheiro-jose-fiadeiro-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}