Prof. Dr. Egon Börger

Dipartimento di Informatica

Università di Pisa (Italy)

egon.boerger@gmail.com

Books

in Computer Science

Egon Börger, Vincenzo Gervasi
Springer Verlag, 2024

Structures of Computing - A Guide to Practice-Oriented Theory

Printed
Egon Börger, Alexander Raschke
Springer Verlag, 2018

Modeling Companion for Software Practitioners

Printed
Egon Börger, Robert Stärk
Springer Verlag, 2003

Abstract State Machines - A Method for High-Level System Design and Analysis

Printed
Robert Stärk, Joachim Schmid, Egon Börger
Springer Verlag, 2001

Java and the Java Virtual Machine — Definition, Verification, Validation

Printed

Books

in Computation Theory & Logic

Egon Börger, Erich Grädel, Yuri Gurevich
Springer Verlag, 1997

The Classical Decision Problem

Printed
Egon Börger
North Holland, 1989

Computability, Complexity, Logic

Printed

Translation of "Berechenbarkeit, Komplexität, Logik" (1985, 1986, 1992)

Miscellaneous

ASMs: Historical Survey 1984-2001

Tribute to Dean Rosenzweig

Reviews: