Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Published 1991

Architecture Design and Validation Methods

Published 2000

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

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

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

Published 1996

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

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

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

by Börger, Egon
Published 1984

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

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

Published 2008

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

by Abrial, Jean-Raymond
Published 1996

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

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

by Börger, Egon
Published 1992

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

Published 1990

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

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

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

Published 1989

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

Published 1988

Modeling Companion for Software Practitioners

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

Computation Theory and Logic

by Börger, Egon
Published 1987

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

by Börger, Egon
Published 1988

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

by Börger, Egon
Published 1990