BOULMÉ Sylvain

Doutor em PhD - SPI
Data de partida : 05/01/2001
https://lip6.fr/Sylvain.Boulme

Direção de pesquisa : Thérèse HARDIN

Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel

Defesas : 22/12/2000

Data de partida : 05/01/2001

Publicações 1999-2001

Mentions légales
Mapa do site