{"product_id":"dependable-software-engineering-theories-tools-and-applications-4th-international-symposium-setta-2018-beijing-china-september-4-6-2018-proceedings-von-xinyu-feng-markus-muller-olm-zijiang-yang-zijiang-yang-hrsg","title":"Dependable Software Engineering. Theories, Tools, and Applications","description":"\n                                This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers  were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the  field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.\n                \n                \u003cbr\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319999326\"\u003e\u003ch3\u003e4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319999326","offer_id":39420852371549,"sku":"9783319999326","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/15cf84de-5b38-491c-a476-98eb588843f9.jpg?v=1773552402","url":"https:\/\/shop.autorenwelt.de\/products\/dependable-software-engineering-theories-tools-and-applications-4th-international-symposium-setta-2018-beijing-china-september-4-6-2018-proceedings-von-xinyu-feng-markus-muller-olm-zijiang-yang-zijiang-yang-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}