Recent Trends in Algebraic Development Techniques

25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

AvMarkus Roggenbach

Häftad, Engelska, 2021

Del 12669 i serien Lecture Notes in Computer Science

554 kr

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

Beskrivning

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.

Produktinformation

Utgivningsdatum:2021-04-11
Mått:155 x 235 x 10 mm
Vikt:277 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:165
Förlag:Springer Nature Switzerland AG
ISBN:9783030737849

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Invited Paper.- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).- Contributed Papers.- The wheel of rational numbers as an abstract data type.- Towards General Axiomatizations for Bisimilarity and Trace Semantics.- Monographs, a Category of Graph Structures.- Parallel Coherent Graph Transformations.- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages.- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS.- Structure-Preserving Diagram Operators.