Modèles temporisés
Date
2006Dewey
Informatique généraleSujet
Méthodes formelles; Systèmes à paramètres répartisBook title
Méthodes formelles pour les systèmes répartis et coopératifsAuthor
Haddad, Serge; Kordon, Fabrice; Petrucci, LaurePublisher
Hermes/LavoisierPublisher city
ParisYear
2006Pages number
347ISBN
2-7462-1447-4Collections
Metadata
Show full item recordAuthor
Bérard, Béatrice