Egon Börger
· 16 obras en el catálogo
Obras

Java and the Java virtual machine

Architecture Design and Validation Methods

Berechenbarkeit Komplexität Logik

Berechenbarkeit, Komplexität, Logik

Modeling Companion for Software Practitioners
Berechenbarkeit, Komplexität, Logik

Computer Science Logic

CSL '87
Abstract State Machines, B and Z
Advances in Software Engineering

Classical Decision Problem
Abstract State Machines 2003 : Advances in Theory and Practice
Abstract State Machines
Structures of Computing
SUBJEKTORIENTIERTES PROZESSMANAGEMENT
