Markus Roggenbach - Böcker

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal...

Läs mer »

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal ...

Läs mer »

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal...

Läs mer »

This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as settled knowledge (extracted from historic repositories) for inclusion into such a handbook, and the assembly of...

Läs mer »

This book focuses on the clarification of what actually a handbook is, the systematic identification of what ought to be considered as "e;settled knowledge"e; (extracted from historic repositories) for inclusion into such a handbook, ...

Läs mer »

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in t...

Läs mer »

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...

Läs mer »

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked wi...

Läs mer »

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented togethe...

Läs mer »

In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-...

Läs mer »