Egon Börger

Berechenbarkeit Komplexität Logik

1992

Architecture Design and Validation Methods

2012

Modeling Companion for Software Practitioners

2018

Computer science logic

1994

Computer science logic

1993

Computer science logic

1992

Classical Decision Problem

2001

Abstract State Machines

2013

SUBJEKTORIENTIERTES PROZESSMANAGEMENT

2011

Structures of Computing

2024

Current Trends Theor C/S 84-0

1988

CSL '87

1988

Computation Theory and Logic

2007

Advances in Software Engineering

2008

Abstract State Machines, B and Z

2008

Abstract State Machines 2003 : Advances in Theory and Practice

2003

Java and the Java Virtual Machine

2001