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

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

Enregistré dans:
Détails bibliographiques
Autres auteurs : Haddad Serge (Éditeur scientifique), Kordon Fabrice (Éditeur scientifique), Petrucci Laure (Éditeur scientifique)
Format : Livre
Langue : français
Titre complet : Méthodes formelles pour les systèmes répartis et coopératifs / sous la direction de Serge Haddad, Fabrice Kordon, Laure Petrucci
Publié : Paris : Hermes science publ. , cop. 2006
Lavoisier
Description matérielle : 1 vol. (xvi-347-vii p.)
Collection : IC2 Série Informatique et systèmes d'information
Sujets :
Systèmes à paramètres répartis
Méthodes formelles (informatique)
Logiciels > Vérification
Logiciels > Modèles de conception

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Bibliothèque 681.3 B01 MET Empruntable Disponible