Books by Egon Börger
Structures of Computing
Structures of Computing
Modeling Companion for Software Practitioners
Architecture Design and Validation Methods
SUBJEKTORIENTIERTES PROZESSMANAGEMENT
Abstract State Machines, B and
Abstract State Machines, B and Z
Abstract State Machines 2003 :
Abstract State Machines 2003 : Advances in Theory and Practice
Classical Decision Problem
Berechenbarkeit Komplexität Logik