m
     
Congrès

H 0 Applications of categories in computer science
proceedings of the lms symposium

Fourman, M. P. (Editeur) ; Johnstone, P. T. (Editeur) ; Pitts, A. M. (Editeur)

Cambridge University Press

1992

339 p.

978-0-521-42726-5

00015196

18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70

camonade # catégorie # informatique # reécriture d'algorithme # sémantique

Ville d'édition : Cambridge

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780521427265

ISBN : 0-521-42726-6

Collation : photogr.#23 cm#broch. ; Bibliogr.

Collection : London mathematical society lecture note series

N° de collection : 0177

Localisation : Collection 1er étage

Année de la rencontre : 1991

Ville du congrès : Durham

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00015196

[disponible]
Z