Sortiert nach
Programming in Martin-Löf's type theory : an introduction
The international series of monographs on computer science : 7 (Alle Bände)
Nordström, Bengt;Petersson, Kent;Smith, Jan M
1990
Signatur: TVM2479
  • Bitte anmelden um Merklisten zu nutzen
1 – 1 von 1
Suche als RSS-Feed
Aktive Filter
SchlagwortSoftwareentwicklung
Suchergebnisse filtern
Filter anzeigen