Titre : | Théorie des programmes |
Autre titre: | schémas preuves sémantique |
Auteurs : | C. Livercy ; C. Pair |
Type de document : | texte imprimé |
Editeur : | Paris : Bordas, 1978 |
Collection : | Dunod informatique |
ISBN/ISSN/EAN : | D8/1232-1233 |
Format : | XII-328 p / ill., couv. ill. / 24 cm |
Note générale : | 2-04-010516-6 |
Langues originales: | |
Index. décimale : | 004 (Informatique, traitement des données) |
Mots-clés: | Informatique : programmation- Programme(informatique) : théorie |
Exemplaires (2)
Cote | Support | Localisation | Disponibilité |
---|---|---|---|
D8/1233 | كتاب | Bibliothèque centrale | Disponible |
D8/1232 | كتاب | Institut d''informatique | Transféré Exclu du prêt |
Accueil