الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

Construction de programmes / Djamel Eddine Zegour

Titre :	Construction de programmes
Type de document :	texte imprimé
Auteurs :	Djamel Eddine Zegour, Auteur ; Walid Khaled Hidouci, Auteur
Editeur :	Alger [Algérie] : ITSC
Année de publication :	2022
Importance :	320 p.
Présentation :	ill.coll. Noir
Format :	24 cm.
ISBN/ISSN/EAN :	978-9931-825-70-8
Note générale :	Éditeur ‏ : ‎ ‎ Itinéraires Scientifiques Edition : 2022 Auteur : Zegour, Djamel Eddine Langue ‏ : ‎ Français Broché ‏ : ‎ 320 pages ISBN-13 ‏ : ‎ 978-9931825708 Poids de l'article ‏ : ‎ 150 g Dimensions ‏ : ‎ 24 cm
Langues :	Français (fre)
Mots-clés :	formels point fixe programmation procédurale transformations preuves fonctionnelle lambda-calcul langage LISP programmation logique programmation objet projet ECOLE
Index. décimale :	005 Programmation
Résumé :	Ce livre traite de la construction de programmes montrant les différents paradigmes de programmation: -la programmation procédurale aborde les différents schémas -la programmation fonctionnelle introduit le lambda-calcul et sa machine à réduction -la programmation logique -la programmation objet -la spécification exhibe
Note de contenu :	Exercices p.131 Corrigés p.166 Référ. Bibliog.

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ST18143	005/33.1	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Exclu du prêt
ST18166	005/33.10	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18149	005/33.2	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18150	005/33.3	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18151	005/33.4	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18153	005/33.5	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18159	005/33.6	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18160	005/33.7	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18161	005/33.8	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible
ST18164	005/33.9	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Disponible