informatique # logiciel # programmation fonctionnelle # langage de programmation # calcul lambda # logique linéaire

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521621120

ISBN : 0-521-62112-7

Collation : Bibliogr. ; fig.#24 cm#rel. ; Index

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0045

Localisation : Ouvrage RdC (ASPE)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Exemplaires