Hochschulschrift

A fully abstract model for sequential computation

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783897225084
3897225085
Maße
21 cm
Umfang
106 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Darmstadt, Techn. Univ., Diss., 2000

Schlagwort
Funktionale Programmiersprache
Programmanalyse
Operationale Semantik
Funktionale Semantik
Kategorientheorie
Bereichstheorie

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Logos-Verl.
(wann)
2000
Urheber
Marz, Michael

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:32 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Marz, Michael
  • Logos-Verl.

Entstanden

  • 2000

Ähnliche Objekte (12)