Date
2006
Indexation documentaire
Informatique générale
Subject
Méthodes formelles; Systèmes à paramètres répartis
Titre de l'ouvrage
Méthodes formelles pour les systèmes répartis et coopératifs
Auteur
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Nom de l'éditeur
Hermes/Lavoisier
Ville de l'éditeur
Paris
Année
2006
Nombre total de pages
347
ISBN
2-7462-1447-4
