[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fachbereich Informatik ]     [ Technische Universität Wien ]

Literaturhinweise zur theoretischen Informatik

Alle angegebenen Bücher sind in der TUB (Bibliothek der Technischen Universität) und/oder im Fachbuchhandel erhältlich.

Die wichtigsten Bücher zur Vorlesung in Kürze

Einführende Literatur

Formale Sprachen und Automaten Mathematische Logik

Weiterführende Literatur

Generell Formale Sprachen und Automaten Mathematische Logik Formale Programmverifikation Formale Programmverifikation Komplexitätstheorie

Nachschlagewerke, Handbooks


Valid HTML 4.01! Viewable With Any Browser Gernot Salzer, Chris Fermüller