Basic simple type theory
Collection : Cambridge tracts in theoretical computer science . 42 Publié par : Cambridge University Press. (Cambridge [et cetera] ) Détails physiques : XI, 186 pages illustrations 24 cm. ISBN :0521465184; 9780521465182; 9780521054225 (pbk); 0521054222 (pbk).
Sujet(s) :
Programming languages (Electronic computers)
|
Type theory
|
Typentheorie
|
Programmeertalen
|
Programming languages (Electronic computers)
|
Type theory
Année : 1997
Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
---|---|---|---|---|---|---|
Livre | La bibliothèque des sciences de l'ingénieur | 005.13 HIN (Parcourir l'étagère) | Disponible | 0000000022408 |
Total des réservations: 0
Met index en lit. opg.
Il n'y a pas de commentaire pour ce document.