{"product_id":"dependable-software-engineering-theories-tools-and-applications-11th-international-symposium-on-dependable-software-engineering-theories-tools-9789819578252","title":"Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools,","description":"\u003cp\u003e • Author(s): Amir Goharshady | Christoph Haase\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\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 \u003cp\u003eThe 18 full papers and 1 invited paper 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. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47969487224983,"sku":"9789819578252","price":8275.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9789819578252.webp?v=1782922041","url":"https:\/\/atlanticbooks.com\/products\/dependable-software-engineering-theories-tools-and-applications-11th-international-symposium-on-dependable-software-engineering-theories-tools-9789819578252","provider":"Atlantic Books","version":"1.0","type":"link"}