Amir Goharshady,
Christoph Haase
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
Paperback EN 2026 9789819578252Levertijd ongeveer 16 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9789819578252
Taal:EN
Bindwijze:Paperback
Aantal pagina's:384
Uitgever:Springer Verlag, Singapore
Hoofdrubriek:Hardware, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan