Date
2006
Dewey
Informatique générale
Sujet
Méthodes formelles; Systèmes à paramètres répartis
Book title
Méthodes formelles pour les systèmes répartis et coopératifs
Author
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Publisher
Hermes/Lavoisier
Publisher city
Paris
Year
2006
Pages number
347
ISBN
2-7462-1447-4
