m
     
Congrès

H 0 Semantics and logics of computation
summer school on...
took place at the Isaac Newton Institute
Sept.

Dybjer, P. (Editeur) ; Pitts, A. (Editeur)

Cambridge University Press

1997

978-0-521-58057-1

00021463

68N17 ; 68Q40 ; 68Q55

informatique # langage # logique classique # metalangage # programmation # sémantique

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521580571

ISBN : 0-521-58057-9

Collation : 24 cm ; 631 p. ; Bibliogr. ; Index ; rel.

Collection : Publications of the Newton institute

Localisation : Colloque 1er étage (CAMB)

Année de la rencontre : 1995

Ville du congrès : Cambridge

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/CAMB/1995 00021463 [disponible]
Z