17 treff
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
Abstract state machines : a method for high-level system design and analysis
Egon Börger, Robert Stärk
Bok Engelsk 2003
Java and the Java Virtual Machine : definition, verification, validation
Stärk, Robert
Bok Engelsk 2001
The classical decision problem
Egon Börger, Erich Grädel, Yuri Gurevich
Bok Engelsk 1997
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996
Specification and validation methods
edited by Egon Börger
Bok Engelsk 1995
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
Workshop on Computer Science Logic
Bok Engelsk 1994
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
Computer science logic : 5th workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1992
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1991
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990
Computability, complexity, logic
Börger, Egon
Bok Engelsk 1989
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1989
Trends in theoretical computer science
Egon Börger, editor
Bok Engelsk 1988
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1988
Computation theory and logic
Egon Börger (ed.)
Bok Engelsk 1987
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