Zur Ergebnisliste
Ergebnis 3 von 6
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

Details

Autor(en) / Beteiligte
Nordström, Bengt;Petersson, Kent;Smith, Jan M
Titel
Programming in Martin-Löf's type theory : an introduction
Ist Teil von
Ort / Verlag
Oxford : Clarendon Pr.
Erscheinungsjahr
1990
Sprache
Englisch
Identifikatoren
ISBN: 0198538146
OCLC-Nummer: 246906986, 246906986
Titel-ID: 990005334450106463
Format
X, 221 S.
Systemstelle
TVM
Schlagworte
Softwareentwicklung, Martin-Löf-Typentheorie

Lade weitere Informationen...