28973 articles – 22398 Notices  [english version]

inria-00098618, version 1

Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications

Dominique Méry 1, Beverly Sanders

Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications (1998) 100 p

Résumé : Troisième édition d'un colloque sur les méthodes formelles et leur utilisation dans le cas de la programmation parallèle. Les actes sont publiés dans le LNCS 1388 et sur le CD ROM d'IPPS'98

  • 1 :  MODEL (Méthodes formelles et applications) (LORIA)
  • INRIA – CNRS : UMR7503 – Université Nancy II – Université Henri Poincaré - Nancy I – Institut National Polytechnique de Lorraine (INPL)
  • Domaine : Informatique/Autre
  • Mots-clés : FMPPTA'98 || FMPPTA'98
  • Référence interne : 98-R-151 || mery98b
  • Commentaire : Ouvrage (auteur).
 
  • inria-00098618, version 1
  • http://hal.inria.fr/inria-00098618
  • oai:hal.inria.fr:inria-00098618
  • Contributeur : Publications Loria <>
  • Soumis le : Lundi 25 Septembre 2006, 17:04:01
  • Dernière modification le : Lundi 18 Décembre 2006, 17:41:17