Nous avons identifié 2 edtions identiques ou similaires du livre Le Logiciel : entre l'esprit et la matière!
Si vous êtes intéressé par une seule edtion spécifique sélectionnez celle qui vous intéresse :
100%: Xavier Leroy: Le Logiciel : entre l'esprit et la matière (ISBN: 9782213714622) 2018, Fayard, en français, aussi comme e-book.Afficher uniquement cette édition…
100%: Xavier Leroy: Le Logiciel, Entre L'esprit Et La Matière (ISBN: 9782213712413) 1980, en français.Afficher uniquement cette édition…
Le Logiciel : entre l'esprit et la matière - Comparez toutes les offres
Meilleur prix: € 4,99 (à partir de 09-05-2019)1
Symbole
Xavier Leroy
Le Logiciel entre l esprit et la matière (2018)search
~FR NWISBN: 9782213714622search ou 2213714622, sans doute en français, Fayard, Nouveau.
Direct beschikbaar.
bol.com.
Chaire Sciences du logiciel 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. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018. Chaire Sciences du logiciel 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. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018. Inhoud:Taal: Franstalig;Bindwijze: E-book;Verschijningsdatum: april 2019;Ebook formaat: Adobe ePub; Betrokkenen:Auteur: Xavier Leroy;Uitgever: Fayard; Lees mogelijkheden:Lees dit ebook op: Desktop (Mac en Windows) | Kobo e-reader | Android (smartphone en tablet) | iOS (smartphone en tablet) | Windows (smartphone en tablet) | Overige e-reader; EAN: Franstalig | E-book | 9782213714622.
bol.com.
Chaire Sciences du logiciel 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. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018. Chaire Sciences du logiciel 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. Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l'un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l'Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai 2018. Inhoud:Taal: Franstalig;Bindwijze: E-book;Verschijningsdatum: april 2019;Ebook formaat: Adobe ePub; Betrokkenen:Auteur: Xavier Leroy;Uitgever: Fayard; Lees mogelijkheden:Lees dit ebook op: Desktop (Mac en Windows) | Kobo e-reader | Android (smartphone en tablet) | iOS (smartphone en tablet) | Windows (smartphone en tablet) | Overige e-reader; EAN: Franstalig | E-book | 9782213714622.
Commentaire de vendeur bol.com:
Nieuw, Direct beschikbaar
Numéro de commande de plate-forme Bol.com: 9200000108697333
Catégorie: Boeken, Literatuur & Romans, Romans algemeen
Données de 09-05-2019 06:46h
ISBN (notations alternatives): 2-213-71462-2, 978-2-213-71462-2
Nieuw, Direct beschikbaar
Numéro de commande de plate-forme Bol.com: 9200000108697333
Catégorie: Boeken, Literatuur & Romans, Romans algemeen
Données de 09-05-2019 06:46h
ISBN (notations alternatives): 2-213-71462-2, 978-2-213-71462-2
2
Xavier Leroy
Le Logiciel entre l esprit et la matièresearch
~FR NW EBISBN: 9782213714622search ou 2213714622, sans doute en français, Fayard, Nouveau, ebook.
En Stock.
Du vendeur/antiquaire.
Le-Logiciel~~Xavier-Leroy, Le Logiciel : entre l'esprit et la matière, NOOK Book (eBook).
Du vendeur/antiquaire.
Le-Logiciel~~Xavier-Leroy, Le Logiciel : entre l'esprit et la matière, NOOK Book (eBook).
Commentaire de vendeur:
new
Numéro de commande vendeur: 9782213714622
Numéro de commande de plate-forme BarnesAndNoble.com (Nook): bnn-9782213714622
Catégorie: Literature>Literature>Lit Companions
Données de 09-05-2019 06:46h
ISBN (notations alternatives): 2-213-71462-2, 978-2-213-71462-2
new
Numéro de commande vendeur: 9782213714622
Numéro de commande de plate-forme BarnesAndNoble.com (Nook): bnn-9782213714622
Catégorie: Literature>Literature>Lit Companions
Données de 09-05-2019 06:46h
ISBN (notations alternatives): 2-213-71462-2, 978-2-213-71462-2
3
Xavier Leroy
Le Logiciel Entre L esprit Et La Matière (1980)search
~FR NWISBN: 9782213712413search ou 2213712417, sans doute en français, Nouveau.
Livraison sous 3 a 5 jours.
Du vendeur/antiquaire.
Disponibilité=Pré-commande;Titre=Le Logiciel, Entre L'esprit Et La Matière;Date=2019-04-24 00:00:00.024/04/2019;Nouveauté=Nouveauté;Livres Origine=Decitre;Propriétaire=Decitre;Livres / Format=Poche;Livres / Période=Livre édité depuis 1980;Classification.
Du vendeur/antiquaire.
Disponibilité=Pré-commande;Titre=Le Logiciel, Entre L'esprit Et La Matière;Date=2019-04-24 00:00:00.024/04/2019;Nouveauté=Nouveauté;Livres Origine=Decitre;Propriétaire=Decitre;Livres / Format=Poche;Livres / Période=Livre édité depuis 1980;Classification.
Numéro de commande de plate-forme Priceminister.com (Oth.): 3764545594
Catégorie: Livres, Informatique-Internet, Livres sur Progiciels
Mots-clés: Livre
Données de 05-04-2019 06:35h
ISBN (notations alternatives): 2-213-71241-7, 978-2-213-71241-3
Catégorie: Livres, Informatique-Internet, Livres sur Progiciels
Mots-clés: Livre
Données de 05-04-2019 06:35h
ISBN (notations alternatives): 2-213-71241-7, 978-2-213-71241-3
autorenew