Modifier la recherche | Derniers résultats de recherche | Historique | Nouvelle recherche | Votre compte | Aide |
Titre : | Théorie des programmes |
Autre titre: | schémas preuves sémantique |
Auteurs : | C. Livercy ; C. Pair |
Type de document : | texte imprimé |
Editeur : | Malakoff : Dunod, 1978 |
Collection : | Dunod informatique |
ISBN/ISSN/EAN : | S8/17679-17683 |
Format : | XII-328 p / 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: | Programme : théorie- Informatique : programmation |
Exemplaires (5)
Cote | Support | Localisation | Disponibilité |
---|---|---|---|
S8/17679 | كتاب | Bibliothèque centrale | Disponible |
S8/17680 | كتاب | Bibliothèque centrale | Disponible |
S8/17681 | كتاب | Bibliothèque centrale | Disponible |
S8/17682 | كتاب | Bibliothèque centrale | Disponible |
S8/17683 | كتاب | Bibliothèque centrale | Disponible |
Accueil