Bert, Didier (19..-.... ; informaticien)

Bert, Didier (19..-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 05013423X

URI de l'entité : http://www.idref.fr/05013423X/id

Notice de type Personne

Point d'accès autorisé

Bert, Didier (19..-.... ; informaticien)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 19XX

Date de début d'activité : 1973

Notes

Note publique d'information :

Auteur d'une thèse de 3e cycle en informatique (Grenoble 1, 1973) et d'une thèse d'Etat en sciences. Informatique (Grenoble 1, 1979). - Directeur de thèse à Grenoble INPG-ENSIMAG (-1982-1985-)

Identifiants externes

Identifiant VIAF : https://viaf.org/viaf/45177348

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb128308568

Identifiant ISNI : 0000000029009923

Source

Dérivation de programmes impératifs à partir de spécifications algébriques / par Yves Guerte ; sous la direction de Didier Bert [thèse], 1996

La Programmation générique : construction de logiciel, spécification algébrique et vérification / par Didier Bert ; sous la direction de Louis Bolliet, 1979. - Thèse d'Etat : Sciences. Informatique : Grenoble 1 : 1979 ; 82

Projet IMAG SCOP : Spécification et COnstruction de Programmes : bilan 1990-1996 / Didier Bert ; [publ. par le Laboratoire] LSR, Logiciels systèmes réseaux, 1996

Étude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution / par Didier Bert ; sous la direction de Michaël Griffiths, 1973. - Thèse de 3e cycle : Informatique : Grenoble 1 : 1973 ; 65

... Références liées : ...