Logics of programs :
workshop held at the ibm thomas j. watson research center in yorktown heights#May 4-6
logique de programmation # logique mathématiques # programme
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540112129
ISBN : 3-540-11212-X
Collation : Bibliogr. ; vi#transcript of panel discussion pp. 407-429#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0131
Localisation : Collection 1er étage
Année de la rencontre : 1981
Ville du congrès : N. Y.
Pays du congrès : États-Unis
Code ACM : F.4.1
Type de congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00011473 | [disponible] |