English
Logics of programs :
workshop on logics of programs was held at carnegie mellon university#June 6-8
Congrès
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540128960
ISBN : 3-540-12896-4
Collation : 24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0164
Localisation : Collection 1er étage
Année de la rencontre : 1983
Ville du congrès : Pitsburg
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00010179 | [disponible] |
