- Page 5 and 6:
L’informatique, une science de l
- Page 7:
Au cœur de l’informatique, l’a
- Page 18 and 19:
Notre cahier des chargesUn algorith
- Page 20 and 21:
Notre cahier des chargesUn algorith
- Page 22 and 23:
Notre cahier des chargesUn algorith
- Page 24 and 25:
Quelques forces qui façonnent l’
- Page 26 and 27:
Quelques forces qui façonnent l’
- Page 28 and 29:
Maîtriser la complexité✤ Un out
- Page 30 and 31:
Maîtriser la complexité✤ Un out
- Page 32 and 33:
Abstractions du calcul (séquentiel
- Page 34 and 35:
Abstractions du calcul (séquentiel
- Page 36 and 37: En quête du “langage idéal”
- Page 38 and 39: En quête du “langage idéal”
- Page 40 and 41: Un concept unificateur : les types
- Page 42 and 43: Un concept unificateur : les types
- Page 44 and 45: Un autre concept unificateur : la m
- Page 46 and 47: Un autre concept unificateur : la m
- Page 48 and 49: Des procédures aux composants© 20
- Page 50 and 51: Des procédures aux composantsIsola
- Page 52 and 53: Des procédures aux composantsIsola
- Page 54 and 55: Architecture logicielle✤ Descript
- Page 56 and 57: Architecture logicielle✤ Descript
- Page 58 and 59: Architecture logicielle✤ Descript
- Page 60 and 61: Interfacesclientfournisseurint. req
- Page 62 and 63: InterfacescontratconformitéContrat
- Page 64 and 65: La virtualisation, transformateur d
- Page 66 and 67: Exemple de virtualisation : la mém
- Page 68 and 69: Exemple de virtualisation : la mém
- Page 70 and 71: En quête de la validité …Pour u
- Page 72 and 73: En quête de la validité …Pour u
- Page 74 and 75: En quête de la validité …Pour u
- Page 76 and 77: Vérification par analyse statiqueI
- Page 78 and 79: Vérification par analyse statiqueI
- Page 80 and 81: Spécification, construction, preuv
- Page 82 and 83: Spécification, construction, preuv
- Page 84 and 85: Spécification, construction, preuv
- Page 88 and 89: B, une méthode de construction de
- Page 90 and 91: B, une méthode de construction de
- Page 92 and 93: Coq, un assistant de preuve© 2010,
- Page 94 and 95: Coq, un assistant de preuve✤ Base
- Page 96 and 97: Vérification d’un compilateur✤
- Page 98 and 99: Vérification d’un compilateur✤
- Page 100 and 101: Vérification d’un noyau de syst
- Page 102 and 103: Vérification d’un noyau de syst
- Page 104 and 105: Vérification d’un noyau de syst
- Page 106 and 107: Vérification d’un noyau de syst
- Page 108 and 109: Vérification d’un noyau de syst
- Page 110 and 111: Comprendre et domestiquer le parall
- Page 112 and 113: Comprendre et domestiquer le parall
- Page 114 and 115: Comprendre et domestiquer le parall
- Page 116 and 117: Le parallélisme, un univers fragme
- Page 118 and 119: Le parallélisme, un univers fragme
- Page 120 and 121: Asynchronisme : premières avancée
- Page 122 and 123: Asynchronisme : premières avancée
- Page 124 and 125: Asynchronisme : une solution radica
- Page 126 and 127: Asynchronisme : une solution radica
- Page 128 and 129: Modèles du parallélisme© 2010, S
- Page 130 and 131: Modèles du parallélisme✤ Calcul
- Page 132 and 133: Parallélisme pratique à grande é
- Page 134 and 135: Un canevas pour le calcul parallèl
- Page 136 and 137:
Un canevas pour le calcul parallèl
- Page 138 and 139:
Un canevas pour le calcul parallèl
- Page 140 and 141:
Un canevas pour le calcul parallèl
- Page 142 and 143:
Faire face à l’imprévu✤ Défa
- Page 144 and 145:
Faire face à l’imprévu✤ Défa
- Page 146 and 147:
Transactions (1)✤ Problème : mai
- Page 148 and 149:
Transactions (1)✤ Problème : mai
- Page 150 and 151:
Transactions (2)✤ OutilsAccès co
- Page 152 and 153:
Transactions (2)✤ OutilsAccès co
- Page 154 and 155:
Tolérance aux fautes✤ Fautes, er
- Page 156 and 157:
Tolérance aux fautes✤ Fautes, er
- Page 158 and 159:
Abstractions pour un service dispon
- Page 160 and 161:
Abstractions pour un service dispon
- Page 162 and 163:
Brève histoire du consensus✤ Pan
- Page 164 and 165:
Brève histoire du consensus✤ Pan
- Page 166 and 167:
Tolérance aux fautes à grande éc
- Page 168 and 169:
Tolérance aux fautes à grande éc
- Page 170 and 171:
Tolérance aux fautes à grande éc
- Page 172 and 173:
Observations finales✤ Succès cro
- Page 174 and 175:
Observations finales✤ Succès cro
- Page 176 and 177:
Pistes pour l’enseignement© 2010
- Page 178 and 179:
Pistes pour l’enseignement✤ Ne
- Page 180 and 181:
Pistes pour l’enseignement✤ Ne
- Page 182 and 183:
C’est quoi, au fond, l’informat
- Page 184 and 185:
C’est quoi, au fond, l’informat
- Page 186 and 187:
C’est quoi, au fond, l’informat