{"product_id":"software-engineering-and-formal-methods-von-undefined-3","title":"Software Engineering and Formal Methods","description":"\n                                \n                \u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.\u003c\/p\u003e\n                                The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319229683\"\u003e\u003ch3\u003e13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319229683","offer_id":40604151677021,"sku":"9783319229683","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/870a6ed0-b2e7-454a-b9e3-7464ada8715a.jpg?v=1773552225","url":"https:\/\/shop.autorenwelt.de\/products\/software-engineering-and-formal-methods-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}