Nächste Seite:
Term-Gleichungen
Aufwärts:
Sprachkonzepte der Parallelen Programmierung
Vorherige Seite:
Bedarfsauswertung
Verifikation funktionaler Programme
Unterabschnitte
Term-Gleichungen
Append ist assoziativ
Verifikation -- Beispiele
Johannes Waldmann 2011-06-29
