Egon Börger

Egon Börger’s Followers (3)

member photo

member photo

member photo

Egon Börger

Combine Editions
Egon Börger’s books

Average rating: 4.27 · 15 ratings · 0 reviews · 32 distinct works

	Architecture Design and Validation Methods 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 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) 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
	Computation Theory and Logic (Lecture Notes in Computer Science, 270) 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 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
	Specification and Validation Methods 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
	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
	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) 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 '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
	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

More books by Egon Börger…

Is this you? Let us know. If not, help out and invite Egon to Goodreads.