
Dependable Software Engineering. Theories Tools and Applications
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 13, 2025. The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 sub......
fra 869,-
På lager i 1 butikker
Kjøp på nett
På lager
Frakt og levering
Produktinformasjon
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.
Spesifikasjon
Produkt
| Produktnavn | Dependable Software Engineering. Theories Tools and Applications |
| book typ | boker, fagboker, data og informasjonsteknologi |
Populære produkter
Pris og prishistorikk
Akkurat nå er 869,- den billigste prisen for Dependable Software Engineering. Theories Tools and Applications blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.
Det som tåler dagens lys7.sans Dagbok colour A57.sans Inspirasjonskalender spiralVeggkalender GRIEG 2027 Blomster Mini
Lord Baden Powell-tegning Speidermuseet Lord Baden Powell-tegning7.sans Datum kartongLommelykt m/prosjektor rødLommelykt m/prosjektor rosa
Magnetkalender GRIEG 2027 Primstav sortNotatbok Paperblanks Mimosa ultraNotatbok Paperblanks Pinoccio ultra7.sans Datum imitert skinn


















