|
|
|
|
| LEADER |
00995nam a22002177a 4500 |
| 001 |
361526 |
| 008 |
190618s2019 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Pajot, Philippe.
|
| 245 |
1 |
0 |
|a "En informatique, la notion de confiance est fondamentale", entretien avec Xavier Leroy
|c Philippe Pajot.
|
| 260 |
|
|
|c 2019.
|
| 300 |
|
|
|a p. 4-8.
|
| 520 |
|
|
|a Produire des logiciels sans bug et qui font ce qu'ils sont supposés faire relève parfois du miracle. En plus des tests, des outils formels issus de la logique et des mathématiques sont utilisés pour garantir leur fiabilité. Spécialiste de la sémantique des langages, Xavier Leroy nous livre ses réflexions sur la programmation.
|
| 600 |
|
|
|a Leroy, Xavier,
|d 19..-....
|
| 650 |
|
|
|a Technique et civilisation.
|
| 650 |
|
|
|a Informatique
|x Recherche.
|
| 650 |
|
|
|a Interaction homme-ordinateur.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|w 118816
|t La Recherche
|x 0029-5671
|g No 548
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 361526
|