Méthodes formelles pour les systèmes répartis et coopératifs - Archive ouverte HAL Access content directly
Books Year : 2006
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00084193 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More