| | |
Summary: RHEINISCH-
WESTF
ALISCHE
TECHNISCHE
HOCHSCHULE
AACHEN
LEHR- UND FORSCHUNGSGEBIET INFORMATIK II
RWTH Aachen D-52056 Aachen GERMANY
http://www-i2.informatik.rwth-aachen.de/lufgi2.html
Prof. Dr. J urgen Giesl
Darius Dlugosz
Automatisierte Programmveri kation
Ubungsblatt 12
Alle Aufgaben werden korrigiert. Die Abgabe ist bis Freitag, 23. Februar 2001, in der Vorlesung
oder im Raum 4211 m oglich.
Ank undigung 1:
Im n achsten Semester wird vom Lehr- und Forschungsgebiet Informatik II die Vorlesung Grund-
lagen der funktionalen Programmierung veranstaltet. Hier die Termine:
V2 Di 10:00 - 11:30 im AH III
|
