SULJE VALIKKO

avaa valikko

Egon Börger | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 25 tuotetta
Haluatko tarkentaa hakukriteerejä?



Abstract State Machines - A Method for High-Level System Design and Analysis
Egon Börger; Robert Stärk
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CSL '87 - 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1988)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computation Theory and Logic
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1987)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CSL '89 - 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Egon Börger; Yuri Gurevich; Karl Meinke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Science Logic - 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Egon Börger; Hans Kleine Büning; Michael M. Richter; Wolfgang Schönfeld
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines 2003: Advances in Theory and Practice - 10th International Workshop, ASM 2003, Taormina, Italy, March 3-
Egon Börger; Angelo Gargantini; Elvinia Riccobene
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Software Engineering - Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Egon Börger; Antonio Cisternino
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Classical Decision Problem
Egon Börger; Erich Grädel; Yuri Gurevich
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
155,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines - A Method for High-Level System Design and Analysis
Egon Börger; Robert Stärk
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Architecture Design and Validation Methods
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Architecture Design and Validation Methods
Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Berechenbarkeit Komplexität Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Egon Börger
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
46,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Berechenbarkeit, Komplexität, Logik - Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihr
Egon Börger
Springer Fachmedien Wiesbaden (1986)
Pehmeäkantinen kirja
51,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling Companion for Software Practitioners
Egon Börger; Alexander Raschke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Structures of Computing - A Guide to Practice-Oriented Theory
Egon Börger; Vincenzo Gervasi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Java and the Java Virtual Machine - Definition, Verification, Validation
Robert F. Stärk; Joachim Schmid; Egon Börger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control
Jean-Raymond Abrial; Egon Börger; Hans Langmaack
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines - A Method for High-Level System Design and Analysis
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 438 sivua
Asu: Kovakantinen kirja
Painos: 2003
Julkaisuvuosi: 2003, 23.04.2003 (lisätietoa)
Kieli: Englanti
Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ..r die Wirklichkeit untu ..chtig machen. - Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other on the following pages, in particular in the bibliographical and historical Chap. 9 which can be read independently of the book. We then thank those who have helped with detailed critical comments on the draft chapters to shape the way our arguments are presented in this book: M. B.. orger (Diron Mu ..nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc .. hen),U. Gl. asser(SimonFraser University, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa ..ppinghaus (Siemens Munc .. hen), A.
Preller (Universit' e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit. at zu Berlin, Germany),H. Rust (Universit. at Cottbus, Germany), G. Schellhorn (Universit. at Augsburg, G- many), B. Thalheim (Universit. at Cottbus, Germany) and a dozen student generationsat Universita 'di Pisa. We thankM. Barmet(ETH Zur .. ich)for her solutions of the exercises in Chap. 8. We also thank L.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Abstract State Machines - A Method for High-Level System Design and Analysiszoom
Näytä kaikki tuotetiedot
ISBN:
9783540007029
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste