E
Egon Börger
15 works on record
Works
Java and the Java virtual machine
Berechenbarkeit Komplexität Logik
Architecture Design and Validation Methods
Berechenbarkeit, Komplexität, Logik
Modeling Companion for Software Practitioners
Computer Science Logic
CSL '87
Classical Decision Problem
Computation Theory and Logic
Advances in Software Engineering
Advances in Software Engineering
Abstract State Machines, B and Z
Abstract State Machines, B and Z
Abstract State Machines 2003 : Advances in Theory and Practice
Abstract State Machines 2003 : Advances in Theory and Practice
Abstract State Machines
Abstract State Machines
Structures of Computing
Structures of Computing
SUBJEKTORIENTIERTES PROZESSMANAGEMENT
SUBJEKTORIENTIERTES PROZESSMANAGEMENT