|
|
|
|
| LEADER |
01942nam a22003977a 4500 |
| 001 |
239629 |
| 008 |
000411s1999 xxe ||| |||| 00| 0 fre d |
| 009 |
PPN045272999 |
| 020 |
|
|
|a 2711786463 (br.) :
|c 199 FRF
|
| 024 |
|
|
|a 9782711786466
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 670
|
| 084 |
|
|
|a D.2
|
| 084 |
|
|
|a F.3
|
| 100 |
1 |
|
|a Bérard, Béatrice,
|d 19..-....,
|c professeure en informatique.
|
| 245 |
1 |
0 |
|a Vérification de logiciels :
|b techniques et outils du model-checking
|c Béatrice Bérard, Michel Bidoit, François Laroussinie... [etc.] ; avec la collaboration de Gérard Cécé, Catherine Dufourd, Alain Finkel... [et autres] ; coordination, Philppe Schnoebelen.
|
| 260 |
|
|
|a Paris :
|b Vuibert,
|c DL 1999.
|
| 300 |
|
|
|a 1 volume (xv-197 pages) :
|b illustrations ;
|c 24 cm.
|
| 490 |
1 |
|
|a Vuibert informatique
|
| 500 |
|
|
|a Autres contributions : Laure Petrucci, Grégoire Sutre
|
| 504 |
|
|
|a Bibliographie p. 183-187. Index
|
| 650 |
|
|
|a Logiciels
|x Vérification
|
| 650 |
|
|
|a Logiciels
|x Fiabilité
|
| 650 |
|
|
|a Débogage
|
| 650 |
|
|
|a Logiciels
|x Développement
|x Contrôle de la qualité
|
| 700 |
1 |
|
|a Bidoit, Michel,
|d 1957-
|4 aut
|
| 700 |
1 |
|
|a Laroussinie, François,
|d 19..-....,
|c auteur en informatique.
|4 aut
|
| 700 |
1 |
|
|a Schnoebelen, Philippe,
|d 19..-....,
|c auteur en informatique.
|4 pbd
|
| 700 |
1 |
|
|a Cécé, Gérard,
|d 19..-
|4 clb
|
| 700 |
1 |
|
|a Dufourd, Catherine,
|d 19..-
|4 clb
|
| 700 |
1 |
|
|a Finkel, Alain,
|d 1958-
|4 clb
|
| 700 |
1 |
|
|a Petrucci, Laure,
|d 19..-
|4 clb
|
| 700 |
1 |
|
|a Sutre, Grégoire,
|d 1975-
|4 clb
|
| 767 |
0 |
|
|0 056180519
|t Systems and software verification
|o model-checking techniques and tools
|f B. Bérard, M. Bidoit, A. Finkel... [et autres]
|e Updated version of the French language edition
|d 2001
|c Berlin
|n Springer
|p 1 volume (xii-190 pages)
|z 3-540-41523-8
|
| 997 |
|
|
|0 239629
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 005.1 VER
|z Bourges, INSA CVL, 005.1 VER
|
