egon börger

Modeling Companion for Software Practitioners

This book uses a variety of applications to illustrate a modeling method that helps practitioners...

Abstract State Machines, B and Z

This book constitutes the refereed proceedings of the First International Conference of Abstract ...

Advances in Software Engineering

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...

Berechenbarkeit Komplexität Logik

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

Berechenbarkeit, Komplexität, Logik

Berechenbarkeit, Komplexität, Logik

Abstract State Machines

Abstract State Machines 2003: Advances in Theory and Practice

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

Java and the Java Virtual Machine

This book provides a high-level description, together with a mathematical and an experimental ana...

Architecture Design and Validation Methods

This state-of-the-art survey gives a systematic presentation of recent advances in the design and...

Structures of Computing

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...

Computer Science Logic

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus inHeidelberg, Germany, O...