Programminvertierung und Reversibles Rechnen
LVA 185.331, VU 2.0, ECTS 3.0, 2009 S

Programminvertierung und Reversibles Rechnen

(zweistündige Vorlesung mit Übung; siehe auch TUWIS++/185.331)

 
 

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Allgemeine Informationen

Die Vorlesung wurde im Rahmen einer ERASMUMS/SOKRATES-Vereinbarung zwischen der TU Wien und der Universität Kopenhagen, Dänemark, von Professor Dr. habil. Robert Glück im SS 2009 als Blocklehrveranstaltung abgehalten.

Weitere Informationen sowie Angaben zu Inhalten und Zielen dieser LVA finden Sie in TUWIS++.

Zuordnung

Die Veranstaltung ist dem und dem zugeordnet.

Vortragender

Robert Glück, Tel.: 58801-18502, E-mail: sek@complang.tuwien.ac.at
Complang
Knoop
   Events
   Teaching/Lehre
      ERASMUS/SOKRATES
      LVA-Stammseiten
      Lehre 2010 S
      Lehre 2009 W
      Lehre 2008 S
      Lehre 2009 S
         Fortg. fkt. Prog.
         Analyse u. Verifikation
         Gdl. meth. Arbeitens
         Seminar
         Verif. von Übers.
         Prog.inv. u. Revers.; Rechnen
      Lehre 2008 W
      Lehre 2008 S
      Lehre 2007 W
      Frühere Semester
   Research Interests
   Publications
   Professional Activities
   Memberships
   Selected CFPs
   Useful Links
Sitemap
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
Seminar aus Prog.sprachen
Grundl. meth. Arbeitens
Sonstige
Schnellzugriff:
TUWIS++
voriges Semester
voriges Jahr
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2009-10-17 (Knoop)