Thumbnail - No thumbnail

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

Haddad, Serge; Kordon, Fabrice; Petrucci, Laure (2006), Méthodes formelles pour les systèmes répartis et coopératifs, Hermes/Lavoisier : Paris, p. 347

Type
Ouvrage
Date
2006
Publisher
Hermes/Lavoisier
Series title
Traité IC2. Informatique et systèmes d'information
Published in
Paris
ISBN
2-7462-1447-4
Pages
347
Metadata
Show full item record
Author(s)
Haddad, Serge
Kordon, Fabrice cc
Petrucci, Laure cc
Subjects / Keywords
Systèmes à paramètres répartis; Méthodes formelles