Egon Börger | Akateeminen Kirjakauppa

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

Börger, Egon; Stärk, Robert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Kovakantinen kirja

51,10 €

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

Börger, Egon; Kleine Büning, Hans; Richter, Michael M.
Springer
1988
Pehmeäkantinen kirja

51,10 €

Computation Theory and Logic

Börger, Egon
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Kleine Büning, Hans; Richter, Michael M.
Springer
1990
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Kleine Büning, Hans; Richter, Michael M.
Springer
1989
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Gurevich, Yuri; Meinke, Karl
Springer
1994
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Martini, Simone; Richter, Michael M.
Springer
1993
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Richter, Michael M.
Springer
1992
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Kleine Büning, Hans; Richter, Michael M.; Schönfeld, Wolfgang
Springer
1991
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Gargantini, Angelo; Riccobene, Elvinia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul
Springer
2008
Pehmeäkantinen kirja

51,10 €

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

Börger, Egon; Cisternino, Antonio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

The Classical Decision Problem

Börger, Egon; Grädel, Erich; Gurevich, Yuri
Springer
2001
Pehmeäkantinen kirja

164,60 €

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

Börger, Egon; Stärk, Robert
Springer
2013
Pehmeäkantinen kirja

51,10 €

Architecture Design and Validation Methods

Börger, Egon
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Architecture Design and Validation Methods

Börger, Egon
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2000
Kovakantinen kirja

51,10 €

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

Börger, Egon
Springer Fachmedien Wiesbaden
1992
Pehmeäkantinen kirja

47,90 €

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

Börger, Egon
Springer Fachmedien Wiesbaden
1986
Pehmeäkantinen kirja

52,50 €

Modeling Companion for Software Practitioners

Börger, Egon; Raschke, Alexander
Springer
2018
Pehmeäkantinen kirja

66,10 €

Structures of Computing : A Guide to Practice-Oriented Theory

Börger, Egon; Gervasi, Vincenzo
Springer
2024
Pehmeäkantinen kirja

56,10 €