Egon Boerger – författare & böcker

Structures of Computing

A Guide to Practice-Oriented Theory

AvEgon Börger,Vincenzo Gervasi

Häftad, Engelska, 2024

819 kr

Skickas inom 10-15 vardagar

Berechenbarkeit, Komplexität, Logik

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

AvEgon Börger

Häftad, Tyska, 1986

749 kr

Skickas inom 10-15 vardagar

Berechenbarkeit Komplexität Logik

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

AvEgon Börger

Häftad, Tyska, 1992

679 kr

Skickas inom 10-15 vardagar

Abstract State Machines 2003: Advances in Theory and Practice

10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

AvEgon Börger,Angelo Gargantinim. fl.

Häftad, Engelska, 2003

749 kr

Skickas inom 10-15 vardagar

Abstract State Machines

A Method for High-Level System Design and Analysis

AvEgon Börger,Robert Stärk

Inbunden, Engelska, 2003

749 kr

Skickas inom 10-15 vardagar

Computation Theory and Logic

AvEgon Börger

Häftad, Engelska, 1987

749 kr

Skickas inom 10-15 vardagar

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmidm. fl.

Inbunden, Engelska, 2001

749 kr

Skickas inom 10-15 vardagar

Classical Decision Problem

AvEgon Börger,Erich Grädelm. fl.

Häftad, Engelska, 2001

2 589 kr

Skickas inom 10-15 vardagar

CSL '87

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

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1988

749 kr

Skickas inom 10-15 vardagar

CSL'88

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

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1989

729 kr

Skickas inom 10-15 vardagar

CSL '89

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

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1990

749 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

AvEgon Börger,Hans Kleine Büningm. fl.

Häftad, Engelska, 1991

729 kr

Skickas inom 10-15 vardagar

Computer Science Logic

5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Computer Science Logic

6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

AvEgon Börger,Gerhard Jägerm. fl.

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Computer Science Logic

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

AvEgon Börger,Yuri Gurevichm. fl.

Häftad, Engelska, 1994

749 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

AvJean-Raymond Abrial,Egon Börgerm. fl.

Häftad, Engelska, 1996

1 449 kr

Skickas inom 10-15 vardagar

Architecture Design and Validation Methods

AvEgon Börger

Inbunden, Engelska, 2000

749 kr

Skickas inom 10-15 vardagar

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

AvEgon Börger,Michael Butlerm. fl.

Häftad, Engelska, 2008

749 kr

Skickas inom 10-15 vardagar

Advances in Software Engineering

Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

AvEgon Börger,Antonio Cisternino

Häftad, Engelska, 2008

749 kr

Skickas inom 10-15 vardagar

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidtm. fl.

Inbunden, Engelska, 2012

749 kr

Skickas inom 10-15 vardagar

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidtm. fl.

Häftad, Engelska, 2014

749 kr

Skickas inom 10-15 vardagar

Abstract State Machines

A Method for High-Level System Design and Analysis

AvEgon Börger,Robert Stärk

Häftad, Engelska, 2013

749 kr

Skickas inom 10-15 vardagar

Architecture Design and Validation Methods

AvEgon Börger

Häftad, Engelska, 2012

749 kr

Skickas inom 10-15 vardagar

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmidm. fl.

Häftad, Engelska, 2014

749 kr

Skickas inom 10-15 vardagar

Modeling Companion for Software Practitioners

AvEgon Börger,Alexander Raschke

Häftad, Engelska, 2018

969 kr

Skickas inom 10-15 vardagar

Egon Börger – författare

Structures of Computing

Berechenbarkeit, Komplexität, Logik

Berechenbarkeit Komplexität Logik

Abstract State Machines 2003: Advances in Theory and Practice

Abstract State Machines

Computation Theory and Logic

Java and the Java Virtual Machine

Classical Decision Problem

CSL '87

CSL'88

CSL '89

Computer Science Logic

Computer Science Logic

Computer Science Logic

Computer Science Logic

Formal Methods for Industrial Applications

Architecture Design and Validation Methods

Abstract State Machines, B and Z

Advances in Software Engineering

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Abstract State Machines

Architecture Design and Validation Methods

Java and the Java Virtual Machine

Modeling Companion for Software Practitioners

Egon Börger – författare

Structures of Computing

Berechenbarkeit, Komplexität, Logik

Berechenbarkeit Komplexität Logik

Abstract State Machines 2003: Advances in Theory and Practice

Abstract State Machines

Computation Theory and Logic

Java and the Java Virtual Machine

Classical Decision Problem

CSL '87

CSL'88

CSL '89

Computer Science Logic

Computer Science Logic

Computer Science Logic

Computer Science Logic

Formal Methods for Industrial Applications

Architecture Design and Validation Methods

Abstract State Machines, B and Z

Advances in Software Engineering

Subject-Oriented Business Process Management

Subject-Oriented Business Process Management

Abstract State Machines

Architecture Design and Validation Methods

Java and the Java Virtual Machine

Modeling Companion for Software Practitioners