Méthodes formelles pour les systèmes répartis et coopératifs / ss.dir.Serg Haddad, Fafrice Kordon, Laure Petrucci
Material type:
TextLanguage: Fre. Series: ( Collection Informatique et Systèmes D'information)Publication details: Paris : Lavoisier, 2006Description: 347 p. 24 cmISBN: - 2-7462-1447-4
| Item type | Current library | Home library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Livre
|
Bibliothèque Universitaire Centrale | Bibliothèque Universitaire Centrale | 681.3 HAD (Browse shelf(Opens below)) | 1 | Available | 16-502BUC |
Browsing Bibliothèque Universitaire Centrale shelves Close shelf browser (Hides shelf browser)
| 681.3 GUE Conduite de projets informatiques : | 681.3 GUG Signaux aléatoires modélisation, estimation, détection | 681.3 GUG Signaux aléatoires modélisation, estimation, détection | 681.3 HAD Méthodes formelles pour les systèmes répartis et coopératifs | 681.3 HEU Word 2000 | 681.3 HIR Le basic facile par une methode progressive | 681.3 JEZ Ingenierie dirigée par les modèles : |
Compr. Bibliogr. à la fin de chaque chapitre de vol. Index : pp. ( 43 5 -347 )
There are no comments on this title.
Log in to your account to post a comment.