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

Saved in:

Bibliographic Details
Other Authors:	Haddad, Serge, 1956- (Editor), Kordon, Fabrice (Editor), Petrucci, Laure, 19..- (Editor)
Format:	Livre papier
Language:	Français
Published:	Paris : Hermes science publ. : Lavoisier C 2006.
Series:	Traité IC2 : information, commande, communication. Informatique et systèmes d'information
Subjects:	Systèmes à paramètres répartis Génie logiciel Logiciels > Vérification Design patterns
Autres localisations:	Voir dans le Sudoc

Description
Physical Description:	1 vol. (XVI-347-VII p.) : ill. ; 24 cm.
Bibliography:	Bibliogr. en fin de chapitres. Index
ISBN:	2746214474 (rel.)