Lehrveranstaltung SV

DI Andreas Bollin

Lehre

Kontakt

Privates

Schtairisch

Lehrveranstaltung WS03/04
620.051 KV Spezifikation und Verifikation (Bollin)
Montag, 10:30 - 12:30, HS 10
620.052 KV Spezifikation und Verifikation (Wakounig)
Montag, 8:30 - 10:00, HS 6

Aktuelles:

Die Lehrveranstaltung ist abgeschlossen. Ich muss mich nochmals für die tolle Mitarbeit bedanken - es war einfach angenehm, mit Ihnen über einzelne Z-Aufgaben zu diskutieren.

Diverses:

Sie finden hier die gepatchte Linux Version des cadiz Binaries. (Achtung! Filename ist cadiz.gz, einige Browser verschlucken das .gz!) Einfach die Datei ../i486/cadiz/cadiz durch die neue, entzippte Datei ersetzen. Fertig!
CadiZ Software (Manuals, Tips, ...) finden Sie auf der CadiZ Homepage: unter http://www-users.cs.york.ac.uk/~ian/cadiz/, aber auch auf dem FTP Server der Institute für Informatik unter ftp://ftp2-itec.uni-klu.ac.at.

Fragen, Wünsche und Verbesserungsvorschläge bitte gleich per email (andi@isys.uni-klu.ac.at) an den Autor!

Letzte Änderung: 2000-10-03