Books by Egon Börger

Egon Börger
Average rating 4.27 · 15 ratings · 0 reviews · shelved 139 times

Showing 30 distinct works.

« previous 1 2 next »

	Subject-Oriented Business Process Management by Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier 4.17 avg rating — 6 ratings — published 2011 — 7 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Architecture Design and Validation Methods by Egon Börger 4.67 avg rating — 3 ratings — published 2000 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Abstract State Machines: A Method for High-Level System Design and Analysis by Egon Börger really liked it 4.00 avg rating — 2 ratings — published 2003 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Abstract State Machines, B and Z by Egon Börger, Jonathan P. Bowen (Editor), Michael Butler (Editor), Paul Boca (Editor) it was amazing 5.00 avg rating — 1 rating — published 2008 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Java and the Java Virtual Machine: Definition, Verification, Validation by Robert F. Stärk, Joachim Schmid, Egon Börger it was amazing 5.00 avg rating — 1 rating — published 2001 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computation and Proof Theory (Lecture Notes in Mathematics) by Michael M. Richter (editor), W. Oberschelp (Editor), Egon Börger (Editor) it was amazing 5.00 avg rating — 1 rating — published 1984 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computation Theory and Logic (Lecture Notes in Computer Science, 270) by Egon Börger (Editor) really liked it 4.00 avg rating — 1 rating — published 1987 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Classical Decision Problem by Egon Börger liked it 3.00 avg rating — 1 rating — published 1996 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer Science Book 5238) by Egon Börger (Editor), Jonathan Bowen (Editor), Michael Butler (Goodreads Author) (Editor), Paul Boca (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität by Egon Börger 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität by Egon Börger 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Structures of Computing: A Guide to Practice-Oriented Theory by Egon Börger, Vincenzo Gervasi 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings by Egon Börger (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modeling Companion for Software Practitioners by Egon Börger, Alexander Raschke 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings by Egon Börger (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers by Egon Börger (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers by Egon Börger (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Advances in Software Engineering by Egon Börger (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Abstract State Machines: A Method for High-Level System Design and Analysis by Egon Börger, Robert Stärk 0.00 avg rating — 0 ratings — published 2011	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings by Egon Börger (Editor) 0.00 avg rating — 0 ratings — published 1991 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität by Egon Börger 0.00 avg rating — 0 ratings — published 1992	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Current Trends Theor C/S 84-0: Food for Ed Trade 78-6 by Egon Börger 0.00 avg rating — 0 ratings — published 1988	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability, Complexity, Logic (Volume 128) (Studies in Logic and the Foundations of Mathematics, Volume 128) by Egon Börger 0.00 avg rating — 0 ratings — published 1986 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science) by Egon Börger, Yuri Gurevich (Editor), Karl Meinke (Editor) 0.00 avg rating — 0 ratings — published 1994 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science, 329) by Egon Börger (Editor), Hans Kleine Büning (Editor), Michael M. Richter (Editor) 0.00 avg rating — 0 ratings — published 1988 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures (Lecture Notes in Computer Science, 5316) by Egon Börger (Editor), Antonio Cisternino (Editor), Egon Barger 0.00 avg rating — 0 ratings — published 2008 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440) by Egon Börger (Editor), Michael M. Richter (Editor), Hans Kleine Büning (Editor) 0.00 avg rating — 0 ratings — published 1990 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626) by Egon Börger (Editor), Gerhard Jäger (Editor), Hans Kleine Büning (Editor), Michael M. Richter (Editor) 0.00 avg rating — 0 ratings — published 1992 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385) by Egon Börger (Editor), Hans Kleine Büning (Editor), Michael M. Richter (Editor) 0.00 avg rating — 0 ratings — published 1989 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Specification and Validation Methods by Egon Börger (editor) 0.00 avg rating — 0 ratings — published 1995	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

« previous 1 2 next »

* Note: these are all the books on Goodreads for this author. To add more books, click here.