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. Phase formation
Sous-collection :	Phase formation num. 5
Importance :	328 p.
Présentation :	couv. en coul. ill.
Format :	24 cm.
ISBN/ISSN/EAN :	2-04-010516-6
Note générale :	Bibliogr. p. 315-322. Index.
Langues :	Français (fre)
Index. décimale :	08-04-Architecture et théorie des ordinateurs

Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur . - Paris : Dunod, 1978 . - 328 p. : couv. en coul. ill. ; 24 cm.. - (Dunod informatique. Phase formation. Phase formation; 5) .
ISBN : 2-04-010516-6
Bibliogr. p. 315-322. Index.
Langues : Français (fre)

Index. décimale :

08-04-Architecture et théorie des ordinateurs