Hochschulschrift

Meta-synthesis : deriving programs that develop programs

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
IV, 198 S.
Sprache
Englisch
Anmerkungen
Darmstadt, Techn. Hochsch., Habil.-Schr., 1993

Urheber
Kreitz, Christoph

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:55 MESZ

Datenpartner

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

Objekttyp

  • Hochschulschrift

Beteiligte

  • Kreitz, Christoph

Ähnliche Objekte (12)

Computing rectangular dissections : a case study in deriving functional programs from logical specifications

Computing rectangular dissections : a case study in deriving functional programs from logical specifications

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs

(18) Youth Reconstruction Programs (Self-Help Programs)

Archivale

(18) Youth Reconstruction Programs (Self-Help Programs)

Research Programs

Akten

Research Programs

Invitations & Programs

Akten

Invitations & Programs

Research Programs

Akten

Research Programs

Guidance Programs

Archivale

Guidance Programs

Invitations & Programs

Akten

Invitations & Programs

Applications/Programs

Akten

Applications/Programs

NASA Programs

Akten

NASA Programs

Microfoundational programs

Arbeitspapier

Microfoundational programs

Three programs

Three programs

Verbundene Objekte