Méthodes formelles pour les systèmes répartis et coopératifs - Archive ouverte HAL
Ouvrages Année : 2006

Méthodes formelles pour les systèmes répartis et coopératifs

Serge Haddad
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
CV
Fabrice Kordon
Modélisation et Vérification
CV
Laure Petrucci
Laboratoire d'Informatique de Paris-Nord

Domaines

Autre [cs.OH]

Laure Petrucci  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00084193

Soumis le : jeudi 6 juillet 2006-01:44:53

Dernière modification le : jeudi 28 novembre 2024-10:50:07

Fichier non déposé

Dates et versions

hal-00084193 , version 1 (06-07-2006)

Identifiants

  • HAL Id : hal-00084193 , version 1

Citer

Serge Haddad, Fabrice Kordon, Laure Petrucci. Méthodes formelles pour les systèmes répartis et coopératifs. Hermès, pp.370, 2006, Traités IC2 - Informatique et systèmes d'information. ⟨hal-00084193⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UPMC CNRS UNIV-DAUPHINE OCA LIPN LIP6 LAMSADE-DAUPHINE PSL GALILE SORBONNE-UNIVERSITE SU-SCIENCES SORBONNE-PARIS-NORD ACT-R
364 Consultations
0 Téléchargements

Partager

More