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

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

Domaines

Autre [cs.OH]
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⟩
311 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More