Formale Grundlagen der Informatik Eirund Formale Beschreibungsverfahren

Mein Lieblingsbuch unter den Einführungsbüchern in die theoretische Informatik! Logik, Relationen, formale Sprachen, Automaten, nebenläufige Prozesse, Algorithmik - verständlich dargestellt, gut zu lesen!