Lect.Notes ComputerFestschrift

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Editors:

• Jonathan P. Bowen
• Qin Li
• Qiwen Xu

• Copyright: 2023

• Soft cover

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Editors:

• Pedro Lopez-Garcia
• John P. Gallagher
• Roberto Giacobazzi

• Copyright: 2023

• Soft cover

A Journey from Process Algebra via Timed Automata to Model Learning

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Editors:

• Nils Jansen
• Mariëlle Stoelinga
• Petra van den Bos

• Copyright: 2022

• Soft cover
• eBook

The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Editors:

• Wolfgang Ahrendt
• Bernhard Beckert
• Richard Bubel
• Einar Broch Johnsen

• Copyright: 2022

• Soft cover

Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Editors:

• Ernst-Rüdiger Olderog
• Bernhard Steffen
• Wang Yi

• Copyright: 2021

• Soft cover