{"product_id":"9783319694825","title":"Lecture Notes in Computer Science: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings\u003c\/h1\u003e \u003ch2\u003eLarsen, Kim Guldstrand; Sokolsky, Oleg; Wang, Ji\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cdiv\u003eThis book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October\u003c\/div\u003e\u003cdiv\u003e2017.\u003c\/div\u003e\u003cdiv\u003eThe 19 full papers presented together with 3 invited talks  were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2017-10-17\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319694825\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-69483-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 351\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377730936972,"sku":"9783319694825","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319694825.jpg?v=1774015383","url":"https:\/\/lateknightbooks.com\/products\/9783319694825","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}