Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Egon Börger's books
Sign in with Facebook
Sign in
options
Join Goodreads
Egon Börger’s Followers (3)
Egon Börger
edit data
Combine Editions
Egon Börger’s books
Egon Börger
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
Want to Read
saving…
Want to Read
Currently Reading
Read
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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
Want to Read
saving…
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.
Welcome back. Just a moment while we sign you in to your Goodreads account.