Eberhard Karls Universität, Tübingen      
Wilhelm-Schickard-Institut Schickard-Maschine
         
         
         
viewable with any
browser
     

Programmiersprachen und Übersetzer

Oberseminar Programmierung, WS1992/93

04.11.92
Peter Thiemann: Sicherheitsanalyse für strukturell-rekursive funktionale Programme
25.11.92
Dieter Damm: Die Semantikbeschreibung von Modula-2 in VDM-SL und ihre Auswertung auf dem Rechner
20.01.93
Johannes Brischar: Einsazmöglichkeiten des Computers in der Entscheidungsfindung
10.02.93
Martin Plümicke: Darstellung partieller Funktionen als totale Funktionen in Order-Sorted Algebras
17.02.93
Andreas Möstel: Überblick über Speicherbereinigungsverfahren
  • Zurück zur Übersicht

  • Adresse

    Prof. Dr. Herbert Klaeren
    Universität Tübingen
    Wilhelm-Schickard-Institut für Informatik
    Sand 13
    D-72076 Tübingen
    Germany
    Fon:
    +49 7071 29-78955
    Fax:
    +49 7071 29-5082

    Prof. Herbert Klaeren

    Anbieterkennung Last modified: Mon Mar 24 19:48:35 MET 2014