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
    Jasminweg 21
    72076 Tübingen
    GERMANY

    klaeren@uni-tuebingen.de

    Anbieterkennung Last modified: Di 21 Nov 2023 12:19:02 CET