{"product_id":"dependable-software-engineering-theories-tools-and-applications-first-international-symposium-setta-2015-nanjing-china-november-4-6-2015-proceedings-von-xuandong-li-zhiming-liu-wang-yi-hrsg","title":"Dependable Software Engineering: Theories, Tools, and Applications","description":"\n                                \n                \u003cp\u003eThis book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.\u003c\/p\u003e\n                                  \n                \n                \u003cp\u003eThe 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319259413\"\u003e\u003ch3\u003eFirst International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319259413","offer_id":39426696904797,"sku":"9783319259413","price":51.36,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a8737724-2b37-4155-844c-ef152cf30043.jpg?v=1773552225","url":"https:\/\/shop.autorenwelt.de\/products\/dependable-software-engineering-theories-tools-and-applications-first-international-symposium-setta-2015-nanjing-china-november-4-6-2015-proceedings-von-xuandong-li-zhiming-liu-wang-yi-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}