Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
Article : texte imprimé
Xavier Leroy, Personne interviewée ; Philippe Pajot, Intervieweur |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[...]
