Vor Ort
Merkzettel Warenkorb
Produktbild: Theoretical Aspects of Computing – ICTAC 2022
Band 13572

Theoretical Aspects of Computing – ICTAC 2022 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.10.2022

Abbildungen

XIII, 482 p. 89 illus., 28 illus. in color.

Herausgeber

Helmut Seidl + weitere

Verlag

Springer

Seitenzahl

482

Maße (L/B/H)

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

Gewicht

744 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-17714-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.10.2022

Abbildungen

XIII, 482 p. 89 illus., 28 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

482

Maße (L/B/H)

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

Gewicht

744 g

Auflage

1st ed. 2022

Sprache

Englisch

ISBN

978-3-031-17714-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Theoretical Aspects of Computing – ICTAC 2022
  • VeriMon: A Formally Verified Monitoring Tool.- Generalized Test Tables: A Domain-specific Specification Language for Automated Production.- On Safety, Assurance and Reliability: A Software Engineering Perspective.- Reachability Games and Parity Games.- A PO Characterisation of Reconfiguration.- Structural Rules and Algebraic Properties of Intersection Types.- Florido Quantitative Weak Linearisation.- On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.- Spatial and Timing Properties in Highway Traffic.- Denotational and Algebraic Semantics for the CaIT calculus.- Reconciling communication delays and negation.- A Combinatorial Study of Async/Await Processes.- Unsatisfiability of Comparison-Based Non-Malleability for Commitments.- Alternating Automatic Register Machines.- Functional Choreographic Programming.- A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.- Ground Confluence andStrong Commutation modulo Alpha-Equivalence in Nominal Rewriting.- Local XOR Unification: Definitions, Algorithms and Application to Cryptography.- A Matching Logic Foundation for Alk.- A Type System with Subtyping for WebAssembly’s Stack Polymorphism.- A Verified Implementation of B+-trees in Isabelle/HOL.- Toward a user interface description language based on bigraphs.- A Specification Logic for Programs in the Probabilistic Guarded Command Language.