Seminar (mit Bakkalaureatsarbeit)
LVA 185.188, SE 3.0, 2004 S
und
Wissenschaftliches Arbeiten
LVA 185.217, PS 2.0, 2004 S

Erste Aufgabe

Gehen Sie in die TU-Bibliothek und suchen Sie Bücher und Zeitschriftenartikel zu den Themen "abstrakte Interpretation" und "Model Checking". Sie sollen zumindest fünf Abhandlungen dazu finden und die entsprechenden Literaturangaben zum Treffen mitbringen. Dabei gelten folgende Einschränkungen:

• Geben Sie mindestens ein Buch an, das in der TU-Bibliothek steht (und entsprechende Themen zumindest am Rande streift).
• Geben Sie mindestens einen wissenschaftlichen Artikel aus einer Zeitschrift an, die in der Bibliothek bei den aktuellen (noch nicht gebundenen) Zeitschriften aufliegt.
• Geben Sie mindestens einen wissenschaftlichen Artikel aus einer bereits gebundenen Zeitschrift oder einem Sammelband von Konferenzbeiträgen an.

Beachten Sie die Hinweise zur Suche nach wissenschaftlicher Literatur.