Titre :	Théorie des programmes : schémas, preuves, sémantique
Type de document :	texte imprimé
Auteurs :	C. Livercy, Auteur
Editeur :	Paris : Dunod
Année de publication :	1978
Collection :	Dunod informatique
Sous-collection :	Phase formation num. 5
ISBN/ISSN/EAN :	978-2-04-010516-7
Catégories :	Informatique Informatique:programmes Informatique:programmes:005.1 Programmation
Index. décimale :	005.1 Programmation

Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur . - Paris : Dunod, 1978. - (Dunod informatique. Phase formation; 5) .
ISBN : 978-2-04-010516-7

Catégories :	Informatique Informatique:programmes Informatique:programmes:005.1 Programmation
Index. décimale :	005.1 Programmation