Une méthode de raffinement et de développement pour la programmation parallèle : econtribution à l'étude du raffinement de programmes parallèles : une approche fondée sur le concept de preuve

Abstract : Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1993_0019_MERY.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01753615
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 4:45:38 PM
Last modification on : Monday, April 16, 2018 - 10:40:21 AM

Identifiers

  • HAL Id : tel-01753615, version 1

Collections

Citation

Dominique Méry. Une méthode de raffinement et de développement pour la programmation parallèle : econtribution à l'étude du raffinement de programmes parallèles : une approche fondée sur le concept de preuve. Autre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩. ⟨tel-01753615⟩

Share

Metrics

Record views

12