Egon Börger

Identifiers

Open LibraryOL3179838A

Top Subjects

Computer Science (2)
Mathematics (1)
Philosophy Of Mathematics (1)
General (1)
Logic (1)
Science/Mathematics (1)
Mathematics / Logic (1)

Books by Egon Börger

Total count: 13

Berechenbarkeit, Komplexität, Logik

Springer1986-01-01
Architecture Design and Validation Methods

Springer2000-01-01
The Classical Decision Problem1st ed. 1997. 2nd printing edition

Springer2001-10-16
Abstract State Machines 2003 : Advances in Theory and Practice10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Springer London, Limited2003-01-01
Computation Theory and Logic

Springer2007-10-01
Abstract State Machines, B and ZFirst International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer London, Limited2008-01-01
Advances in Software EngineeringLipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Springer London, Limited2008-01-01
SUBJEKTORIENTIERTES PROZESSMANAGEMENT

2011-01-01
Abstract State MachinesA Method for High-Level System Design and Analysis

Springer London, Limited2012-01-01
Subject-Oriented Business Process Management

Springer2012-11-01
Java and the Java Virtual MachineDefinition, Verification, Validation

Springer2014-08-23
Modeling Companion for Software Practitioners

Springer Nature2018-01-01
Structures of ComputingA Guide to Practice-Oriented Theory

Springer International Publishing AG2024-01-01