Théorie des programmes : schémas, preuves, sémantique
Livercy, C. ; Pair, Claude (Préf.)
1978
xii, 328 p.
2-04-010516-6
LIV 01
Bibliothèque de l'IREM
IREM
Zone de rangement : Général
Pays d'édition : France
Ville d'édition : Paris
Langue : français
Format : 24 cm
Illustrations : Fig.
Collection : Dunod informatique
Sous collection : phase formation
Bibliographie : Bibliogr. p. 315-322/index
N° | Cote / Code barre | Localisation | Commentaire | |
---|---|---|---|---|
1 | LIV 01 A 101274 | [disponible] | YRéserver |