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

Fondements mathématiques de l'informatique / Jacques Stern

Public ISBD Titre : Fondements mathématiques de l'informatique Type de document : texte imprimé Auteurs : Jacques Stern, Auteur Editeur : Paris : MC graw-Hill Année de publication : 1990 Collection : Informatique (Paris. 1987), ISSN 0989-392X Importance : XVI-318 p. Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 2-7042-1228-7 Prix : 175 F Note générale : Titre Fondements mathématiques de l'informatique Collection informatique, ISSN 0989-392X Auteur Jacques Stern Éditeur McGraw-Hill, 1990 ISBN 2704212287, 9782704212286 Longueur 318 pages Langues : Français (fre) Mots-clés : langages et automates  modèles de calcul  fonctions récursives  calcul propositionnel  calcul des prédicats  programmation logique  grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Note de contenu : Bibliogr. p. 309-312. Index Fondements mathématiques de l'informatique [texte imprimé] / Jacques Stern, Auteur . - Paris : MC graw-Hill, 1990 . - XVI-318 p. : ill., couv. ill. ; 24 cm. - (Informatique (Paris. 1987), ISSN 0989-392X) . ISBN : 2-7042-1228-7 : 175 F Titre Fondements mathématiques de l'informatique Collection informatique, ISSN 0989-392X Auteur Jacques Stern Éditeur McGraw-Hill, 1990 ISBN 2704212287, 9782704212286 Longueur 318 pages Langues : Français (fre) Mots-clés : langages et automates  modèles de calcul  fonctions récursives  calcul propositionnel  calcul des prédicats  programmation logique  grammaires et analyse syntaxique Index. décimale : 003 Informatique Générale Résumé : Sommaire : langages et automates modèles de calcul fonctions récursives calcul propositionnel calcul des prédicats programmation logique grammaires et analyse syntaxique Note de contenu : Bibliogr. p. 309-312. Index

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ST19153	003/80.1	Ouvrage	Faculté des Sciences et de la Technologie	000 - Informatique, information, ouvrages généraux	Exclu du prêt

---

1 (1 - 1 / 1)