الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'programmes informatiques'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Théorie des programmes / C. Livercy
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 : XII-328 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010516-7 Prix : 110 F Note générale : Bibliogr. p. 315-322. Index Langues : Français (fre) Mots-clés : programmes informatiques langages de programmation Index. décimale : 005 Théorie des programmes : schémas, preuves, sémantique [texte imprimé] / C. Livercy, Auteur . - Paris : Dunod, 1978 . - XII-328 p. ; 24 cm. - (Dunod informatique. Phase formation. Phase formation; 5) .
ISBN : 978-2-04-010516-7 : 110 F
Bibliogr. p. 315-322. Index
Langues : Français (fre)
Mots-clés : programmes informatiques langages de programmation Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité CF2-000908 005-064.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-000841 005-064.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000842 005-064.3 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000843 005-064.4 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible F2-000844 005-064.5 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible