Prof. Dr. Egon Börger Dipartimento di Informatica Università di Pisa (Italy) egon.boerger@gmail.com Tribute in FestschriftAt75 Laudatio at ABZ2016 Portrait in FestschriftAt60 wikipedia Humboldt Research Awardee Member of Academia Europaea OneSlideCV BookList ScientificGenealogy Hat Informatik mit Logik zu tun? A Personal Retrospective TuringTraditionInMuenster

Books in Software Science

Structures of Computing : A Guide to Practice-Oriented Theory

Modeling Companion for Software Practitioners

Abstract State Machines

Java/JVM — Definition, Verification, Validation

Books in Computation Theory & Logic

ComputabilityComplexityLogicBook

ClassicalDecisionProblemBook

ASMs: Historical Survey 1984-2001   TributeToDeanRosenzweig

Reviews: DijkstraScholtenBook1989  BPMN WorkflowPatterns YAWL with an Answer