|
|
|
|
| LEADER |
02673cmm a2200553 4500 |
| 001 |
ebook-267951965 |
| 005 |
20230224012710.0 |
| 007 |
cu|uuu---uuuuu |
| 008 |
230222s2019||||fr ||||g|||| ||||||fre d |
| 020 |
|
|
|a 9782722605299
|
| 035 |
|
|
|a (OCoLC)1371040202
|
| 035 |
|
|
|a FRCYB88933030
|
| 035 |
|
|
|a FRCYB07488933030
|
| 035 |
|
|
|a FRCYB084688933030
|
| 035 |
|
|
|a FRCYB087088933030
|
| 035 |
|
|
|a FRCYB087588933030
|
| 035 |
|
|
|a FRCYB089888933030
|
| 035 |
|
|
|a FRCYB14088933030
|
| 035 |
|
|
|a FRCYB19188933030
|
| 035 |
|
|
|a FRCYB20188933030
|
| 035 |
|
|
|a FRCYB24788933030
|
| 035 |
|
|
|a FRCYB24888933030
|
| 035 |
|
|
|a FRCYB25688933030
|
| 035 |
|
|
|a FRCYB26088933030
|
| 035 |
|
|
|a FRCYB26888933030
|
| 035 |
|
|
|a FRCYB29588933030
|
| 035 |
|
|
|a FRCYB55488933030
|
| 035 |
|
|
|a FRCYB55988933030
|
| 035 |
|
|
|a FRCYB56788933030
|
| 035 |
|
|
|a FRCYB63288933030
|
| 040 |
|
|
|a ABES
|b fre
|e AFNOR
|
| 041 |
0 |
|
|a fre
|2 639-2
|
| 100 |
1 |
|
|0 (IdRef)026985691
|1 http://www.idref.fr/026985691/id
|a Leroy, Xavier
|d (1968-....;
|c informaticien).
|4 aut.
|e Auteur
|
| 245 |
1 |
3 |
|a Le logiciel :
|b entre l'esprit et la matière
|c Xavier Leroy,....
|
| 264 |
|
1 |
|a Paris :
|b Collège de France.
|
| 264 |
|
2 |
|a Paris :
|b Cyberlibris,
|c 2019.
|
| 336 |
|
|
|b txt
|2 rdacontent
|
| 337 |
|
|
|b c
|2 rdamedia
|
| 337 |
|
|
|b b
|2 isbdmedia
|
| 338 |
|
|
|b ceb
|2 RDAfrCarrier
|
| 500 |
|
|
|a Couverture (https://static2.cyberlibris.com/books_upload/136pix/9782722605299.png).
|
| 506 |
|
|
|a L'accès en ligne est réservé aux établissements ou bibliothèques ayant souscrit l'abonnement
|
| 520 |
|
|
|a Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il exécute. Cette extraordinaire plasticité a permis à l'ordinateur de sortir des centres de calcul et de se répandre partout, des objets du quotidien aux infrastructures de la cité. Quels concepts fondamentaux sous-tendent cette prouesse technique ? Comment maîtriser l'incroyable et souvent effrayante complexité du logiciel ? Comment éviter les « bugs » de programmation et résister aux attaques ? Comment établir qu'un logiciel est digne de confiance ? À ces questions, la logique mathématique offre des éléments de réponse qui permettent de construire une approche scientifiquement rigoureuse du logiciel
|
| 650 |
|
7 |
|0 (IdRef)027241408
|1 http://www.idref.fr/027241408/id
|a Logiciels.
|2 ram
|
| 856 |
|
|
|q HTML
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88933030
|w Données éditeur
|z Accès à l'E-book
|
| 886 |
2 |
|
|2 unimarc
|a 181
|a i#
|b xxxe##
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 267951965
|