• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Foundations of Software Science and Computation Structures

    26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

    AvOrna Kupferman,Pawel Sobocinski

    Häftad, Engelska, 2023

    Del 13992 i serien Lecture Notes in Computer Science

    451 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

    Produktinformation

    • Utgivningsdatum:2023-04-21
    • Mått:155 x 235 x 31 mm
    • Vikt:861 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:562
    • Förlag:Springer International Publishing AG
    • ISBN:9783031308284

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • When Programs Have to Watch Paint Dry.- Deciding contextual equivalence of nu-calculus with effectful contexts.- Kantorovich Functors and Characteristic Logics for Behavioural Distances.- A Logical Framework with Higher-Order Rational (Circular) Terms.- A Higher-Order Language for Markov Kernels and Linear Operators.- A Formal Logic for Formal Category Theory.- A Strict Constrained Superposition Calculus for Graphs.- A programming language characterizing quantum polynomial time.- On the Existential Arithmetics with Addition and Bitwise Minimum.- Coverability in 2-VASS with One Unary Counter is in NP.- On History-Deterministic One-Counter Nets.- Unboundedness problems for machines with reversal-bounded counters.- Reverse Bisimilarity vs. Forward Bisimilarity.- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains.- Weighted and Branching Bisimilarities from Generalized Open Maps.- Preservation and Reflection of Bisimilarity via Invertible Steps.- QuantitativeSafety and Liveness.- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors.- Fast Matching of Regular Patterns with Synchronizing Counting.- Compositional Learning for Interleaving Parallel Automata.- Pebble minimization: the last theorems.- Noetherian topologies defined via fixed-points.- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.- Just Testing.- Model and Program Repair via Group Actions.- Subgame optimal strategies in finite concurrent games with prefix-independent objectives.