{"product_id":"dependable-software-engineering-theories-tools-and-applications","title":"Dependable Software Engineering. Theories, Tools, and Applications","description":"\u003cp\u003eThis book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.\u003c\/p\u003e\u003cp\u003eThe 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":57492493042037,"sku":"9783030912642","price":64.99,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0612\/7193\/3106\/files\/9783030912642.jpg?v=1786529374","url":"https:\/\/backstory.london\/products\/dependable-software-engineering-theories-tools-and-applications","provider":"Backstory","version":"1.0","type":"link"}