{"product_id":"formal-methods-foundations-and-applications-18th-brazilian-symposium-sbmf-2015-belo-horizonte-brazil-september-21-22-2015-proceedings-von-marcio-cornelio-bill-roscoe-bill-roscoe-hrsg","title":"Formal Methods: Foundations and Applications","description":"\n                                \n                \u003cp\u003eThis book constitutes revised selected papers from the\n18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo\nHorizonte, Brazil, in September 2015.\u003c\/p\u003e\n                                \n                \u003cp\u003e\n\n\u003c\/p\u003e\n                                \n                \u003cp\u003eThe 11 papers presented in this volume were carefully\nreviewed and selected from 25 submissions. They were organized in topical\nsections named: model checking; languages and semantics; refinement and\nverification; testing and evaluation.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319294728\"\u003e\u003ch3\u003e18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319294728","offer_id":39420465512541,"sku":"9783319294728","price":42.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/157974a6-050a-48e2-b06e-dbca2f63df91.jpg?v=1773551569","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-foundations-and-applications-18th-brazilian-symposium-sbmf-2015-belo-horizonte-brazil-september-21-22-2015-proceedings-von-marcio-cornelio-bill-roscoe-bill-roscoe-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}