Théorie des programmes
Schémas, preuves, sémantique
Livre Ecrit par: Livercy, C. ; Finance, Jean-Pierre ; Grand Bastien, Monique ; Publié en: 1978
Edition:
Paris:
Dunod
Langue:
Français
Collation:
328 p. fig.
;24 cm.
ISBN: 2040105166
Index décimal
005.301 .005.301
Note: Index pp. 325-328