BOULMÉ Sylvain

Doctor - SPI
Fecha de salida : 05/01/2001
https://lip6.fr/Sylvain.Boulme

Dirección de investigación : Thérèse HARDIN

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

Defensa : 22/12/2000

Fecha de salida : 05/01/2001

Publicaciones 1999-2001

Mentions légales
Mapa del sitio