Egon Börger – författare
Visar alla böcker från författaren Egon Börger. Handla med fri frakt och snabb leverans.
25 produkter
Structures of Computing
A Guide to Practice-Oriented Theory
Av Egon Börger, Vincenzo Gervasi
Häftad, 2024
623 kr
Lägg i varukorg
Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of …
Berechenbarkeit, Komplexität, Logik
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Av Egon Börger
Häftad, 1986
566 kr
Lägg i varukorg
Berechenbarkeit Komplexität Logik
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Av Egon Börger
Häftad, 1992
515 kr
Lägg i varukorg
Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Av Egon Börger, Angelo Gargantini m. fl.
Häftad, 2003
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in …
Abstract State Machines
A Method for High-Level System Design and Analysis
Inbunden, 2003
567 kr
Lägg i varukorg
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with …
Computation Theory and Logic
Av Egon Börger
Häftad, 1987
567 kr
Lägg i varukorg
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical …
Java and the Java Virtual Machine
Definition, Verification, Validation
Av Robert F. Stärk, Joachim Schmid m. fl.
Inbunden, 2001
567 kr
Lägg i varukorg
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram …
Classical Decision Problem
Av Egon Börger, Erich Grädel m. fl.
Häftad, 2001
1964 kr
Lägg i varukorg
This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, …
CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1988
567 kr
Lägg i varukorg
This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In …
CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1989
551 kr
Lägg i varukorg
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems …
CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1990
567 kr
Lägg i varukorg
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers …
Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
Av Egon Börger, Hans Kleine Büning m. fl.
Häftad, 1991
551 kr
Lägg i varukorg
The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the …
Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1992
551 kr
Lägg i varukorg
This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The …
Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Av Egon Börger, Gerhard Jäger m. fl.
Häftad, 1993
551 kr
Lägg i varukorg
This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the …
Computer Science Logic
7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Av Egon Börger, Yuri Gurevich m. fl.
Häftad, 1994
567 kr
Lägg i varukorg
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially …
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Av Jean-Raymond Abrial, Egon Börger m. fl.
Häftad, 1996
1094 kr
Lägg i varukorg
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a …
Architecture Design and Validation Methods
Av Egon Börger
Inbunden, 2000
567 kr
Lägg i varukorg
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated …
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Av Egon Börger, Michael Butler m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and …
Advances in Software Engineering
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Av Egon Börger, Antonio Cisternino
Häftad, 2008
567 kr
Lägg i varukorg
WorkonthisvolumestartedwiththeLipariSummerSchoolonAdvancesinSo- ware Engineering, which the ?rst editor organizedtogether with Alfredo Ferro fromtheUniversityofCataniainJuly2007.Itwasthe19thinawell-knownse- 1 riesofannualinternationalschools,addressedatcomputerscienceresearchers. …
Subject-Oriented Business Process Management
Av Albert Fleischmann, Werner Schmidt m. fl.
Inbunden, 2012
569 kr
Lägg i varukorg
Activities performed in organizations are coordinated via communication between the people involved. The sentences used to communicate are naturally structured by subject, verb, and object. The subject describes the actor, the verb the action and the object what is affected by the action. …
Subject-Oriented Business Process Management
Av Albert Fleischmann, Werner Schmidt m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
Activities performed in organizations are coordinated via communication between the people involved. The sentences used to communicate are naturally structured by subject, verb, and object. The subject describes the actor, the verb the action and the object what is affected by the action. …
Abstract State Machines
A Method for High-Level System Design and Analysis
Häftad, 2013
569 kr
Lägg i varukorg
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with …
Architecture Design and Validation Methods
Av Egon Börger
Häftad, 2012
569 kr
Lägg i varukorg
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated …
Java and the Java Virtual Machine
Definition, Verification, Validation
Av Robert F. Stärk, Joachim Schmid m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram …
Modeling Companion for Software Practitioners
Av Egon Börger, Alexander Raschke
Häftad, 2018
735 kr
Lägg i varukorg
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple …
