Hoppa till sidans huvudinnehåll

Egon Börger - Böcker

Visar alla böcker från författaren Egon Börger.
25 produkter

Structures of Computing

A Guide to Practice-Oriented Theory

AvEgon Börger,Vincenzo Gervasi

Häftad, Engelska, 2024

709 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

709 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

649 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 Gargantini m. fl.

Häftad, Engelska, 2003

719 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

719 kr

Skickas inom 10-15 vardagar

Computation Theory and Logic

AvEgon Börger

Häftad, Engelska, 1987

709 kr

Skickas inom 10-15 vardagar

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmid m. fl.

Inbunden, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Classical Decision Problem

AvEgon Börger,Erich Grädel m. fl.

Häftad, Engelska, 2001

2 409 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üning m. fl.

Häftad, Engelska, 1988

709 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üning m. fl.

Häftad, Engelska, 1989

699 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üning m. fl.

Häftad, Engelska, 1990

709 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üning m. fl.

Häftad, Engelska, 1991

689 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äger m. fl.

Häftad, Engelska, 1992

689 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äger m. fl.

Häftad, Engelska, 1993

699 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 Gurevich m. fl.

Häftad, Engelska, 1994

689 kr

Skickas inom 10-15 vardagar

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

AvJean-Raymond Abrial,Egon Börger m. fl.

Häftad, Engelska, 1996

1 369 kr

Skickas inom 10-15 vardagar

Architecture Design and Validation Methods

AvEgon Börger

Inbunden, Engelska, 2000

709 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 Butler m. fl.

Häftad, Engelska, 2008

719 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

709 kr

Skickas inom 10-15 vardagar

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidt m. fl.

Inbunden, Engelska, 2012

699 kr

Skickas inom 10-15 vardagar

Subject-Oriented Business Process Management

AvAlbert Fleischmann,Werner Schmidt m. fl.

Häftad, Engelska, 2014

689 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

719 kr

Skickas inom 10-15 vardagar

Architecture Design and Validation Methods

AvEgon Börger

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Java and the Java Virtual Machine

Definition, Verification, Validation

AvRobert F. Stärk,Joachim Schmid m. fl.

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

Modeling Companion for Software Practitioners

AvEgon Börger,Alexander Raschke m. fl.

Häftad, Engelska, 2018

929 kr

Skickas inom 10-15 vardagar