MPG.eBooks - Author Search Results

Egon Börger

Egon Börger (born 13 May 1946) is a German-born computer scientist based in Italy. Provided by Wikipedia

Cover Image

1

CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

by Börger, Egon
Published 1988

Springer

Cover Image

2

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

3

Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

by Börger, Egon
Published 1986

Vieweg+Teubner Verlag

Cover Image

4

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

by Börger, Egon
Published 1984

Springer

Cover Image

5

CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

by Börger, Egon
Published 1990

Springer

Cover Image

6

Computation Theory and Logic

by Börger, Egon
Published 1987

Springer

Cover Image

7

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

by Börger, Egon
Published 1989

Springer

Cover Image

8

Computer Science Logic : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

by Börger, Egon
Published 1992

Springer

Cover Image

9

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

by Börger, Egon
Published 1994

Springer

Cover Image

10

Berechenbarkeit Komplexität Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

by Börger, Egon
Published 1992

Vieweg+Teubner Verlag

Cover Image

11

Berechenbarkeit, Komplexität, Logik : Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

by Börger, Egon
Published 1985

Vieweg+Teubner Verlag

Cover Image

12

Structures of Computing : A Guide to Practice-Oriented Theory

by Börger, Egon, Gervasi, Vincenzo
Published 2024

Springer International Publishing

Cover Image

13

Modeling Companion for Software Practitioners

by Börger, Egon, Raschke, Alexander
Published 2018

Springer Berlin Heidelberg

Cover Image

14

Abstract State Machines : A Method for High-Level System Design and Analysis

by Börger, Egon, Stärk, Robert
Published 2003

Springer Berlin Heidelberg

Cover Image

15

Java and the Java Virtual Machine : Definition, Verification, Validation

by Stärk, Robert F., Schmid, Joachim, Börger, Egon
Published 2001

Springer Berlin Heidelberg

Cover Image

16

Computation Theory and Logic

Published 1987

Springer Berlin Heidelberg

Other Authors: “...Börger, Egon...”

Cover Image

17

Architecture Design and Validation Methods

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Börger, Egon...”

Cover Image

18

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

by Abrial, Jean-Raymond
Published 1996

Springer

Other Authors: “...Börger, Egon...”

Cover Image

19

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Börger, Egon...”

Cover Image

20

Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Börger, Egon...”

1
2