TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | 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 Mar 26 03:15:52 2019 CET generiert.