Prof. Dr. Egon Börger

Dipartimento di Informatica
Università di Pisa
Largo Bruno Pontecorvo 3

I-56127 Pisa, Italy
boerger [at] di [dot] unipi [dot] it

 

 

Portrait in Festschrift2006 

iFM&ABZ201Festkolloquium2012

LaudatioABZ2016

wikipedia 

 

Humboldt Research Awardee  

Member of Academia Europaea

 

OneSlideCV

ScientificGenealogy

Hat Informatik mit Logik zu tun?

 

 

 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