Free theorems in languages with real-world programming features

Bonn, Univ., Diss., 2013

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Seidel, Daniel (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2013
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Bonn, Univ., Diss., 2013
Beschreibung:V, 228 S.