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

 

     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