STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Egon Börger | lit.salon
Egon Börger
No bio available.
Add one in Open Library.
Books by Egon Börger (50 max)
+ shelf
+ list
The Classical Decision Problem
1997
Egon Börger, Erich Grädel, Yuri Gurevich
+ shelf
+ list
Architecture Design and Validation Methods
2000
Egon Börger
+ shelf
+ list
Abstract State Machines A Method for High-Level System Design and Analysis
2012
Egon Börger, Robert Stärk
+ shelf
+ list
Modeling Companion for Software Practitioners
2018
Egon Börger, Alexander Raschke
+ shelf
+ list
Berechenbarkeit, Komplexität, Logik
1986
Egon Börger
+ shelf
+ list
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
1986
Egon Börger
+ shelf
+ list
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)
1988
Egon Börger, Hans Kleine Büning, Michael M. Richter
+ shelf
+ list
Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
1992
Egon Börger
+ shelf
+ list
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science)
1992
Egon Börger, Gerhard Jäger, Michael M. Richter, Hans Kleine Büning
+ shelf
+ list
Java and the Java Virtual Machine: Definition, Verification, Validation
2001
Robert F. Stärk, Joachim Schmid, Egon Börger
+ shelf
+ list
Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
Egon Börger, Angelo Gargantini, Elvinia Riccobene
+ shelf
+ list
Computation Theory and Logic
2007
Egon Börger
+ shelf
+ list
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
2008
Egon Börger, Antonio Cisternino
+ shelf
+ list
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
2008
Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
+ shelf
+ list
SUBJEKTORIENTIERTES PROZESSMANAGEMENT
2011
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger
+ shelf
+ list
Structures of Computing: A Guide to Practice-Oriented Theory
2024
Egon Börger, Vincenzo Gervasi
