Home General Staff Contact Partners Alumni Research Areas Projects Papers Books Reports Awards Teaching Lectures Exams B.Theses M.Theses PhD Theses Go Abroad Misc Talks Library Gallery Links Search Webmaster |
Spezielle Kapitel aus Informatik: Abstract State Machines
Lehrveranstaltungsleiter
Prof. Dr. Egon Börger Prof. Börger ist ein Pionier der Anwendung diverser Methoden der Logik in der Informatik. Er beschäftigt sich intensiv mit dem Konzept der Abstract State Machines (ASM, siehe z. B. en.wikipedia.org/wiki/Abstract_State_Machines), die für viele Aufgaben im Bereich der Informatik eingesetzt werden können. Inhalt
Auf Wunsch wird die Vorlesung auf Englisch abgehalten. Ort und TermineDiese Lehrveranstaltung findet in 6 Blöcken am Fachhochschulcampus Hagenberg statt und zwar im Hörsaal 3 des Gebäudes FH II.
AnmeldungMelden Sie sich bitte über Kusss an (ab 11.2. aber bis spätestens 25.2.). Die Anmeldungen von der JKU werden automatisch nach Hagenberg weitergeleitet. |