|
|
|
|
| LEADER |
01153nam a22002177a 4500 |
| 001 |
263454 |
| 008 |
080829c2008 xx |||| |||| 00| 0 ||| d |
| 100 |
|
|
|a Michaut, Cécile.
|
| 245 |
1 |
0 |
|a Joseph Sifakis :
|b ÷Nous avons rendu l'informatique plus sûre÷
|c Cécile Michaut.
|
| 260 |
|
|
|c 2008.
|
| 300 |
|
|
|a p. 60-63.
|
| 520 |
|
|
|a Les systèmes informatiques sont devenus indispensables à nos activités quotidiennes comme à l'industrie. Mais peut-on toujours leur faire confiance ? La mise au point de méthodes qui garantissent leur fiabilité a été récompensée par le dernier prix Türing, la plus haute distinction en science de l'information
|
| 600 |
|
|
|a Sifakis, Joseph,
|d 19..-....
|x Entretiens
|
| 650 |
|
|
|a Systèmes informatiques
|x Mesures de sûreté
|x Innovations.
|
| 650 |
|
|
|a Sciences de l'information
|x Prix et récompenses.
|
| 650 |
|
|
|a Articles de périodiques
|
| 773 |
0 |
|
|t La Recherche
|g No 422
|
| 938 |
|
|
|a &rft.issn=0029-5671&rft.jtitle=Recherche (La)&rft.atitle=Joseph Sifakis&rft.aulast=Michaut&rft.aufirst=Cécile&rft.date=01/09/08&rft.volume=422&rft.spage=60&rft.epage=63
|
| 993 |
|
|
|a Article de revue
|
| 994 |
|
|
|a PS
|
| 997 |
|
|
|0 263454
|