Del 12669 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

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

Häftad, Engelska, 2021

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2021-04-11
Mått155 x 235 x 10 mm
Vikt277 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor165
FörlagSpringer Nature Switzerland AG
ISBN9783030737849

Tillhör följande kategorier

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

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.