• 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

    Rewriting Logic and Its Applications

    15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

    AvKazuhiro Ogata,Narciso Martí-Oliet

    Häftad, Engelska, 2024

    Del 14953 i serien Lecture Notes in Computer Science

    633 kr

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

    Beskrivning

    This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024.The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

    Produktinformation

    • Utgivningsdatum:2024-08-02
    • Mått:155 x 235 x 13 mm
    • Vikt:341 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:209
    • Förlag:Springer International Publishing AG
    • ISBN:9783031659409

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Diskret matematik inom Naturvetenskap och teknik

    Innehållsförteckning

    • .- Regular Papers..- Verifying Invariants by Deductive Model Checking..- Time-Bounded Resilience..- Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ..- Equivalence, and Property Internalization and Preservation for Equational Programs..- Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude..- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic..- Timed Strategies for Real-Time Rewrite Theories..- Specifying Fairness Constraints and Model Checking with Non-intensional Strategies..- Tool Papers..- The hrewrite Library: a Term Rewriting Engine for Automatic Code Assembly..- A Flexible Framework for Integrating Maude and SMT Solvers Using Python..- Education Papers..- Teaching an Advanced Maude-based Formal Methods Course in Oslo.