 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00528476, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Développement d'applications avec Objective Caml (2000) 400 |
|
|
|
|
| Développement d'applications avec Objective Caml |
|
|
| Pascal Manoury 1Chailloux Emmanuel 2 |
|
|
| (2000) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2 : | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
| hal-00528476, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00528476 | |
| oai:hal.archives-ouvertes.fr:hal-00528476 | |
| Contributeur : Pascal Manoury | |
| Soumis le : Jeudi 21 Octobre 2010, 19:26:21 | |
| Dernière modification le : Jeudi 21 Octobre 2010, 19:26:21 | |
