18 treff

Forfatter/Medvirkende: børger egon
Abstract state machines : a method for high-level system design and analysis
Egon Börger, Robert Stärk
Bok Engelsk 2003 · Vis mer
The classical decision problem
Egon Börger, Erich Grädel, Yuri Gurevich
Bok Engelsk 1997 · Vis mer
Computability, complexity, logic
Börger, Egon
Bok Engelsk 1989 · Vis mer
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990 · Vis mer
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1989 · Vis mer
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1988 · Vis mer
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994 · Vis mer
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1993 · Vis mer
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992 · Vis mer
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991 · Vis mer
Subject-Oriented Business Process Management
Fleischmann, Albert.
Bok Engelsk 2012 · Vis mer
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
ASM 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Java and the Java Virtual Machine : definition, verification, validation
Stärk, Robert
Bok Engelsk 2001 · Vis mer
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996 · Vis mer
Specification and validation methods
edited by Egon Börger
Bok Engelsk 1995 · Vis mer
Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Symposium "Rekursive Kombinatorik"
Bok Språk ikke angitt 1984 · Vis mer
Computation theory and logic
Egon Börger (ed.)
Bok Engelsk 1987 · Vis mer
Trends in theoretical computer science
Egon Börger, editor
Bok Engelsk 1988 · Vis mer