|
|
|
|
| LEADER |
01060nam a22002657a 4500 |
| 001 |
410280 |
| 008 |
030922s2003 xxe ||| |||| 00| 0 fre d |
| 009 |
PPN074145967 |
| 020 |
|
|
|a 274620651X (br.)
|
| 041 |
0 |
|
|a fre
|
| 245 |
0 |
0 |
|a Méthode B
|c sous la dir. de Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge.
|
| 260 |
|
|
|a Paris :
|b Hermès Science :
|b Lavoisier,
|c 2003.
|
| 300 |
|
|
|a 132 p. :
|b ill. ;
|c 24 cm.
|
| 500 |
|
|
|a Numéro thématique de : "TSI. Technique et science informatiques", vol. 22 no. 1, 2003
|
| 504 |
|
|
|a Bibliogr. en fin de partie
|
| 650 |
|
|
|a B (méthode formelle)
|
| 650 |
|
|
|a Logiciels
|x Essais
|
| 650 |
|
|
|a Logiciels
|x Validation
|
| 650 |
|
|
|a Logiciels
|x Développement
|
| 650 |
|
|
|a Génie logiciel
|
| 700 |
1 |
|
|a Bert, Didier.
|4 edt
|
| 700 |
1 |
|
|a Habrias, Henri.
|4 edt
|
| 700 |
1 |
|
|a Donzeau-Gouge Viguié, Véronique.
|4 edt
|
| 773 |
0 |
|
|0 013305034
|t TSI. Technique et science informatiques
|x 0752-4072
|g 22, no. 1
|
| 997 |
|
|
|0 410280
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 005.1 B BER
|
