الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail d'une collection
|
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index Langues : Français (fre) Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-81967-4
Bibliogr. p. 224-232. Index
Langues : Français (fre)
Mots-clés : Logique temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02184 006-37.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Problèmes d'ordonnancement : modélisation, complexité, algorithmes Type de document : texte imprimé Auteurs : Jacques Carlier (1949-....), Auteur ; Philippe Chrétienne (1947-....), Auteur Editeur : Paris : Masson Année de publication : 1987 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 num. 10 Importance : 326 p. Présentation : graph., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81275-0 Note générale : Bibliogr. p. 314-321. Index Langues : Français (fre) Mots-clés : Problèmes Ordonnancement Index. décimale : 006 Résumé : Dans ce livre, les auteurs proposent une synthèse originale des problèmes d'ordonnancement conduite à partir de la notion fondamentale de complexité. On traitera en particulier sous cet aspect, les algorithmes polynomiaux, les méthodes arborescentes, les algorithmes approchés. Ce livre est à la fois un cours moderne d'ordonnancement et un exposé des principales techniques de résolution. Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs. Le niveau typique des volumes est celui d'un cours specialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur. Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique. On propose ainsi au lecteur des monographies qui représentent des " instantanés " d'une science en développement permanent. Problèmes d'ordonnancement : modélisation, complexité, algorithmes [texte imprimé] / Jacques Carlier (1949-....), Auteur ; Philippe Chrétienne (1947-....), Auteur . - Paris : Masson, 1987 . - 326 p. : graph., couv. ill. ; 24 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770; 10) .
ISBN : 978-2-225-81275-0
Bibliogr. p. 314-321. Index
Langues : Français (fre)
Mots-clés : Problèmes Ordonnancement Index. décimale : 006 Résumé : Dans ce livre, les auteurs proposent une synthèse originale des problèmes d'ordonnancement conduite à partir de la notion fondamentale de complexité. On traitera en particulier sous cet aspect, les algorithmes polynomiaux, les méthodes arborescentes, les algorithmes approchés. Ce livre est à la fois un cours moderne d'ordonnancement et un exposé des principales techniques de résolution. Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs. Le niveau typique des volumes est celui d'un cours specialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur. Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique. On propose ainsi au lecteur des monographies qui représentent des " instantanés " d'une science en développement permanent. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei02183 006-38.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible
Titre : Transductions rationnelles : application aux langages algebriques Type de document : texte imprimé Auteurs : Jean-Michel Autebert, ; Luc Boasson, Editeur : Paris : Masson Année de publication : 1988 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 1 vol. (133 p.) Format : 25x16 cm. ISBN/ISSN/EAN : 2-225-81504-6 Langues : Français (fre) Mots-clés : Transductions rationnelles cone rationnel Les langages algébriques Index. décimale : 512 Résumé : Transductions rationnelles Transductions rationnelles : application aux langages algebriques [texte imprimé] / Jean-Michel Autebert, ; Luc Boasson, . - Paris : Masson, 1988 . - 1 vol. (133 p.) ; 25x16 cm.. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 2-225-81504-6
Langues : Français (fre)
Mots-clés : Transductions rationnelles cone rationnel Les langages algébriques Index. décimale : 512 Résumé : Transductions rationnelles Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei01194 512-72.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei01195 512-72.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei01196 512-72.3 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible
