Vor Ort
Merkzettel Warenkorb
Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
Band 16458 - 10%

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

Aus der Reihe Lecture Notes in Computer Science
10% sparen

72,99 € UVP 81,39 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.05.2026

Abbildungen

XIII, 384 p. 93 illus., 56 illus. in color.

Herausgeber

Amir Goharshady + weitere

Verlag

Springer Singapore

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9578-25-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.05.2026

Abbildungen

XIII, 384 p. 93 illus., 56 illus. in color.

Herausgeber

Verlag

Springer Singapore

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

604 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9578-25-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications


  • .- Invited Contribution.




    .- Automated translation of real-world codebases: How far are we?.




    .- Software Quality and System Design.




    .- Synchronous System Design with Quantitative Types.



    .- Modular Data Refinement.



    .- Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople.



    .- MPL—A Flexible Multiprecision Library.




    .- Logic and Theorem Proving.




    .- A Generic Dynamic Logic for Program Reasoning based on Operational Semantics.



    .- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.



    .- Separation Logic with Heap Variables: A Decision Procedure and Its Application.



    .- VQCS: Verified Quantity Calculus System.




    .- Automata.




    .- Efficient Decomposition Identification of Deterministic Finite Automata from Examples.




    .- Monitoring.




    .- FLARE — Monitoring for the Regulatory Requirements of a Drone Case Study.



    .- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems.




    .- Formal Verification.




    .- A Unified Formal Verification for the k-Center Problem.



    .- WEX: Formal Specifications for Windows in Stream Processing.



    .- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs.




    .- Neural Networks and Large Language Models.




    .- Risk-Averse Certification of Bayesian Neural Networks.



    .- EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing.




    .- Blockchains and Distributed Protocols.




    .- Strategy-aware Liquidity for Account-based Blockchains.



    .- A Program Logic for Byzantine-Fault-Tolerant Protocols.