|
|
|
|
| LEADER |
01180nam a22003137a 4500 |
| 001 |
247973 |
| 008 |
061127t20062006xxe ||| |||| 00| 0 fre d |
| 009 |
PPN110965442 |
| 020 |
|
|
|a 2746214474 (rel.)
|
| 024 |
|
|
|a 9782746214477
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 004
|
| 082 |
|
|
|a 004.36
|
| 084 |
|
|
|a D.4
|
| 245 |
0 |
0 |
|a Méthodes formelles pour les systèmes répartis et coopératifs
|c sous la direction de Serge Haddad, Fabrice Kordon, Laure Petrucci.
|
| 260 |
|
|
|a Paris :
|b Hermes science publ. :
|b Lavoisier.
|
| 260 |
|
|
|c C 2006.
|
| 300 |
|
|
|a 1 vol. (XVI-347-VII p.) :
|b ill. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Traité IC2 : information, commande, communication. Informatique et systèmes d'information
|
| 504 |
|
|
|a Bibliogr. en fin de chapitres. Index
|
| 650 |
|
|
|a Systèmes à paramètres répartis
|
| 650 |
|
|
|a Génie logiciel
|
| 650 |
|
|
|a Logiciels
|x Vérification
|
| 650 |
|
|
|a Design patterns
|
| 650 |
|
|
|a Génie logiciel
|
| 700 |
1 |
|
|a Haddad, Serge,
|d 1956-
|4 edt
|
| 700 |
1 |
|
|a Kordon, Fabrice.
|4 edt
|
| 700 |
1 |
|
|a Petrucci, Laure,
|d 19..-
|4 edt
|
| 997 |
|
|
|0 247973
|1 Livre papier
|a Ressource papier
|c 0/Châteauroux/
|c 1/Châteauroux/IUT de l'Indre/
|z Châteauroux, IUT de l'Indre, 004 HAD
|
