• 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

    14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

    AvKyungmin Bae

    Häftad, Engelska, 2022

    Del 13252 i serien Lecture Notes in Computer Science

    784 kr

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

    Beskrivning

    This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

    Produktinformation

    • Utgivningsdatum:2022-07-30
    • Mått:155 x 235 x 20 mm
    • Vikt:470 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:295
    • Förlag:Springer International Publishing AG
    • ISBN:9783031124402

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Hårdvara inom Data och IT

    Innehållsförteckning

    • ​Invited Papers.- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.- Rewriting Privacy.- Invited Tutorials and Experience Report.- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.- An Overview of the Maude Strategy Language and its Applications.- Teaching Formal Methods to Undergraduate Students Using Maude.- Regular Papers.- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic.- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.- An Efficient Canonical Narrowing Implementation for Protocol Analysis.- Checking Sufficient Completeness by Inductive Theorem Proving.- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.- Automating Safety Proofs about Cyber-Physical Systems using Rewriting ModuloSMT.- Executable Semantics and Type Checking for Session-Based Concurrency in Maude.- Tool Papers.- Parallel Maude-NPA for Cryptographic Protocol Analysis.- Maude as a Library: An Efficient All-Purpose Programming Interface.