{"product_id":"formal-methods-foundations-and-applications-15th-brazilian-symposium-sbmf-2012-natal-brazil-september-23-28-2012-proceedings-von-rohit-gheyi-david-naumann-hrsg","title":"Formal Methods: Foundations and Applications","description":"This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642332951\"\u003e\u003ch3\u003e15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642332951","offer_id":39443943489629,"sku":"9783642332951","price":49.22,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/fd4e842d-5b36-4d9d-a5f6-f9e66ab89928.jpg?v=1773554698","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-foundations-and-applications-15th-brazilian-symposium-sbmf-2012-natal-brazil-september-23-28-2012-proceedings-von-rohit-gheyi-david-naumann-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}