A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Béatrice Bérard
Documents disponibles écrits par cet auteur
Affiner la rechercheSystèmes d'exploitation / Joffroy Beauquier
Titre : Systèmes d'exploitation : Concepts et algorithmes Type de document : texte imprimé Auteurs : Joffroy Beauquier, Auteur ; Béatrice Bérard, Auteur Mention d'édition : 3ème éd. Editeur : Paris : Ediscience Année de publication : 1993 Collection : Collection Informatique, ISSN 0989-392X Importance : 1 vol. (XVI-541 p.) Présentation : fig., couv. ill. en coul Format : 24 cm ISBN/ISSN/EAN : 2-84074-025-7 Note générale : Contient des exercices en fin de chapitres, corrigés p. [491]-534. - Publié précédemment par les éd. McGraw-Hill. Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : systèmes d'exploitation ordinateurs Note de contenu : Bibliographie en fin de chapitres. Index Systèmes d'exploitation : Concepts et algorithmes [texte imprimé] / Joffroy Beauquier, Auteur ; Béatrice Bérard, Auteur . - 3ème éd. . - Paris : Ediscience, 1993 . - 1 vol. (XVI-541 p.) : fig., couv. ill. en coul ; 24 cm. - (Collection Informatique, ISSN 0989-392X) .
ISBN : 2-84074-025-7
Contient des exercices en fin de chapitres, corrigés p. [491]-534. - Publié précédemment par les éd. McGraw-Hill.
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique Mots-clés : systèmes d'exploitation ordinateurs Note de contenu : Bibliographie en fin de chapitres. Index Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire INFO209 Informatique Biblio-ESTO 0000000539303 Disponible 2896
Titre : Vérification de logiciels : techniques et outils du model-checking Type de document : texte imprimé Auteurs : Béatrice Bérard, Auteur ; Michel Bidoit, Auteur ; François Laroussinie, Auteur Mention d'édition : Editeur : Paris : Vuibert Année de publication : 1999 Collection : Vuibert informatique, ISSN 1632-4676 Importance : 197 p. Présentation : ill. Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique Mots-clés : Vérification des logiciels Vérification de logiciels : techniques et outils du model-checking [texte imprimé] / Béatrice Bérard, Auteur ; Michel Bidoit, Auteur ; François Laroussinie, Auteur . - . - Paris : Vuibert, 1999 . - 197 p. : ill.. - (Vuibert informatique, ISSN 1632-4676) .
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Informatique:Programmation informatique Mots-clés : Vérification des logiciels Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 005.1 BBV Informatique Biblio-ENSAO 0000000063201 Disponible 1627 005.1 BBV Informatique Biblio-ENSAO 0000000063301 Disponible 1624 005.1 BBV Informatique Biblio-ENSAO 0000000063401 Disponible 1625 005.1 BBV Informatique Biblio-ENSAO 0000000063501 Disponible 1626
