{"product_id":"engineering-trustworthy-software-systems-9789819646555","title":"Engineering Trustworthy Software Systems","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp class=\"MsoNormal\" style=\"mso-layout-grid-align: none; text-autospace: none;\"\u003e\u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'F33',sans-serif; mso-bidi-font-family: F33;\"\u003eSETSS 2024 School.-\u003c\/span\u003e\u003c\/strong\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'F33',sans-serif; mso-bidi-font-family: F33;\"\u003e What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- \u003cstrong style=\"mso-bidi-font-weight: normal;\"\u003eSETSS 2024 Workshop.- \u003c\/strong\u003eSoftware Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via \u003c\/span\u003e\u003cspan style=\"font-size: 10.0pt; font-family: 'F33',sans-serif; mso-bidi-font-family: F33;\"\u003eFormal Synthesis and LLMs.\u003c\/span\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53212879061335,"sku":"9789819646555","price":43.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/engineering-trustworthy-software-systems-9789819646555","provider":"Book Curl","version":"1.0","type":"link"}