الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Détail de l'éditeur
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
Langage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre / Maurice Margenstern
Titre de série : Langage PASCAL et logique du premier ordre, 2 Titre : Langage PASCAL et logique du premier ordre Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 4 Importance : X-288 p. Présentation : graph. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81953-7 Note générale : Bibliogr. p. 267-270. Index Langues : Français (fre) Mots-clés : PASCAL Langage logique Index. décimale : 005 Langage PASCAL et logique du premier ordre, 2. Langage PASCAL et logique du premier ordre [texte imprimé] / Maurice Margenstern, Auteur . - Paris : Masson, 1989 . - X-288 p. : graph. ; 24 cm. - (Logique mathématiques informatique, ISSN 0995-2179; 4) .
ISBN : 978-2-225-81953-7
Bibliogr. p. 267-270. Index
Langues : Français (fre)
Mots-clés : PASCAL Langage logique Index. décimale : 005 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01065 005-129.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Logique mathematique, cours et exercices / Rene Cori
Titre : Logique mathematique, cours et exercices Type de document : texte imprimé Auteurs : Rene Cori ; D. Lascar (1942-) Editeur : Paris : Masson Année de publication : 1994 Collection : Axiomes. Importance : xv, 347 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français (fre) Mots-clés : logique mathématique Calcul propositionnel Algebre de boole Topologie Homomorphismes Syntaxe Les structures Index. décimale : 510 Logique mathematique, cours et exercices [texte imprimé] / Rene Cori ; D. Lascar (1942-) . - Paris : Masson, 1994 . - xv, 347 p. ; 24 cm.. - (Axiomes.) .
ISBN : 978-2-225-84080-7
Langues : Français (fre)
Mots-clés : logique mathématique Calcul propositionnel Algebre de boole Topologie Homomorphismes Syntaxe Les structures Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01182 510-63.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Sorti jusqu'au 31/05/2023 Logique temporelle / Éric Audureau
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 Maitrisez votre gestion de configuration logiciel : une étape pour la certification ISO 9000 / Jacquin Dominique
Titre : Maitrisez votre gestion de configuration logiciel : une étape pour la certification ISO 9000 Type de document : texte imprimé Auteurs : Jacquin Dominique, Auteur Editeur : Paris : Masson Année de publication : 1996 Importance : 205 p. Format : 23 x 16 cm. ISBN/ISSN/EAN : 978-2-225-85424-8 Langues : Français (fre) Mots-clés : logiciels entretien réparations Index. décimale : 004 Résumé : La gestion de configuration logicielle consiste à connaitre l'état
instantané d'un logiciel et à maintenir sa cohérence pendant toute sa durée
de vie. Un enjeu fondamental qu'il est nécessaire de maitriser. Premier
ouvrage de référence en la matière, présentant aussi bien les concepts
généraux que les aspects pratiques. Avec de nombreux exemples.
Maitrisez votre gestion de configuration logiciel : une étape pour la certification ISO 9000 [texte imprimé] / Jacquin Dominique, Auteur . - Paris : Masson, 1996 . - 205 p. ; 23 x 16 cm.
ISBN : 978-2-225-85424-8
Langues : Français (fre)
Mots-clés : logiciels entretien réparations Index. décimale : 004 Résumé : La gestion de configuration logicielle consiste à connaitre l'état
instantané d'un logiciel et à maintenir sa cohérence pendant toute sa durée
de vie. Un enjeu fondamental qu'il est nécessaire de maitriser. Premier
ouvrage de référence en la matière, présentant aussi bien les concepts
généraux que les aspects pratiques. Avec de nombreux exemples.
Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei00001 004-01.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00002 004-01.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00003 004-01.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Matématiques :Algèbre PC première année Tome 1 / Bass J.
Titre : Matématiques :Algèbre PC première année Tome 1 Type de document : texte imprimé Auteurs : Bass J., Auteur ; CI.DO, Auteur Editeur : Paris : Masson Année de publication : 1972 Importance : 363 p. Format : 24 cm.x16 cm Langues : Français (fre) Mots-clés : mathématiques algèbre Index. décimale : 510 Matématiques :Algèbre PC première année Tome 1 [texte imprimé] / Bass J., Auteur ; CI.DO, Auteur . - Paris : Masson, 1972 . - 363 p. ; 24 cm.x16 cm.
Langues : Français (fre)
Mots-clés : mathématiques algèbre Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei08050 510-117.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei08049 510-117.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Mathématiques / Pierre Thuillier
PermalinkMathématiques pour biologistes
PermalinkMathématiques pour l'informatique / André Arnold
PermalinkMécanique quantique / Jean Hladik
PermalinkMéthodes de calculs en électronique / André Billès
PermalinkMETHODES DE SEPARATION, Tome 2. Chimie analytique / Georges Mahuzier
PermalinkMéthodologie de la programmation en C / Achille Braquelaire
PermalinkModélisation dans la conception des systèmes d'information / ACSIOME
PermalinkOMT.. OMT
PermalinkOutils logiciels pour la programmation système / Ted J. Biggerstaff
PermalinkPhysique MP-PC deuxième année / Hervé J.
PermalinkProblèmes d'ordonnancement / Jacques Carlier
PermalinkProgrammation fonctionnelle en Sheme / Jean-Michel Hufflen
PermalinkProgrammation en infographie / Leendert Ammeraal
PermalinkProgrammation structurée en assembleur 8086 et 80286
PermalinkRéussir un projet de conception orientée objet / N. Dunand
PermalinkRéutilisation du logiciel / Bernard Coulange
PermalinkSQL / Carolyn J. Hursch
PermalinkSystèmes experts / Mike J. Coombs
PermalinkSystèmes experts professionnels / Paul Harmon
Permalink