Détail de l'auteur
Auteur Xavier Leroy |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externes
Article : texte imprimé
Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur | Sophia Publications |Entretien avec Xavier Leroy, responsable de la chaire sciences du logiciel au Collège de France et spécialiste de la sémantique des langages informatiques, à propos de la vérification des logiciels : la définition d'un programme, le rôle des lan[...]Exemplaires (1)
Cote Section Localisation Code-barres Disponibilité Archive périodique CDI 029963 Disponible