- 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 86 and 87:
B, une méthode de construction de
- 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 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