{"product_id":"9789819578252","title":"Lecture Notes in Computer Science: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings\u003c\/h1\u003e \u003ch2\u003eGoharshady, Amir; Haase, Christoph\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025.\u003c\/p\u003e\n\u003cp\u003eThe 18 full papers and \u003cspan lang=\"DE\" style=\"font-size: 11.0pt; line-height: 115%; font-family: 'Calibri',sans-serif; mso-ascii-theme-font: minor-latin; mso-fareast-font-family: SimSun; mso-hansi-theme-font: minor-latin; mso-bidi-theme-font: minor-latin; mso-ansi-language: DE; mso-fareast-language: DE; mso-bidi-language: AR-SA;\"\u003e1 invited paper\u003c\/span\u003e presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2026-05-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9789819578252\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-981-95-7826-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 384\u003c\/p\u003e ","brand":"Springer Nature Singapore","offers":[{"title":"Default Title","offer_id":45986122858636,"sku":"9789819578252","price":71.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9789819578252_9d0ed9bd-e32c-4c07-8341-51adcb4b7fa8.jpg?v=1779934690","url":"https:\/\/lateknightbooks.com\/products\/9789819578252","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}