Théorie des programmes. Schémas, preuves, sémantique.
Auteur : C. Livercy
Editeur : Dunod informatique, phase formation
Date d'édition : 1984
Date de dépôt des droits d'auteur : 1978
Informations sur l'édition :
Reliure : Broché
Illustrations :
ISBN OU AUTRES PRÉCISIONS :
