|
|
|
|
| LEADER |
00732nam a22002057a 4500 |
| 001 |
307424 |
| 008 |
111027c2011 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Maume, David.
|
| 245 |
1 |
3 |
|a Un traducteur de programmes ÷zéro faute÷
|c David Maume.
|
| 260 |
|
|
|c 2011.
|
| 300 |
|
|
|a p. 120.
|
| 500 |
|
|
|a Cahier spécial Prix La Recherche 2011.
|
| 520 |
|
|
|a La démonstration mathématique qu'un programme informatique fera toujours ce que l'on attend de lui remplace efficacement des tests longs et jamais exhaustifs.
|
| 650 |
|
|
|a Compilation (informatique).
|
| 650 |
|
|
|a Systèmes adaptatifs (informatique).
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 457
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 307424
|