TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 2.

Aderhold, Markus Axel :
Verification of second-order functional programs.
Technische Universität , Darmstadt
[Dissertation]

Aderhold, Markus Axel :
Verification of Second-Order Functional Programs.
[Online-Edition: urn:nbn:de:tuda-tuprints-18652]
Technische Universität , Darmstadt
[Dissertation], (2009)

Diese Liste wurde am Tue Apr 25 07:30:21 2017 CEST generiert.