Outils pour utilisateurs
velo:js2025
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
velo:js2025 [2025/11/18 11:25] aelosweb [Compléments au fil de l'eau] |
velo:js2025 [2025/11/18 21:17] (Version actuelle) aelosweb |
||
|---|---|---|---|
| Ligne 36: | Ligne 36: | ||
| * Article //Data Semantics// JRA [Cargese 1974] {{ :velo:cargese-jra.pdf |pdf}} | * Article //Data Semantics// JRA [Cargese 1974] {{ :velo:cargese-jra.pdf |pdf}} | ||
| + | * Article //Spécifier ou comment matérialiser l'abstrait// [TSI 1984] {{ :velo:tsi-abrial.pdf |pdf}} (merci à D. Méry) | ||
| * Article //Extending B without changing it (for Developing Distributed Systems) // JRA [1st B conf Nantes 1996] {{ :velo:articlejra-firstbconf.pdf |pdf}} | * Article //Extending B without changing it (for Developing Distributed Systems) // JRA [1st B conf Nantes 1996] {{ :velo:articlejra-firstbconf.pdf |pdf}} | ||
| * Mejia histoire de B, copie de livre | * Mejia histoire de B, copie de livre | ||
velo/js2025.1763461539.txt.gz · Dernière modification: 2025/11/18 11:25 par aelosweb
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
