BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Dependable Software Engineering. Theories, Tools, and Applications
11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1–3, 2025, Proceedings
Springer
ISBN 9789819578252
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2026
37 s/w-Abbildungen, 56 Farbabbildungen.
In englischer Sprache
Umfang: xiii, 384 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 9789819578252
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Produktbeschreibung
This 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. The 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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
