|
|
|
|
| LEADER |
00702nam a22001817a 4500 |
| 001 |
251607 |
| 008 |
071102c2007 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Sirdey, Renaud.
|
| 245 |
1 |
0 |
|a Vérifier des programmes en prouvant des théorèmes
|c Renaud Sirdey.
|
| 260 |
|
|
|c 2007.
|
| 300 |
|
|
|a p. 98-99.
|
| 520 |
|
|
|a Comment s'assurer qu'un programme informatique a été correctement écrit ? Lorsque la fiabilité est indispensable pour éviter des accidents, on fait appel à une approche située entre l'informatique et les mathématiques.
|
| 650 |
|
|
|a Informatique
|x Fiabilité.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 412
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 251607
|