|
|
|
|
| LEADER |
01578cam a2200385 4500 |
| 001 |
PPN045272999 |
| 005 |
20031220034200.0 |
| 009 |
DYNIX_BUNAN_379200 |
| 010 |
|
|
|a 2-7117-8646-3
|b br.
|d 199 F
|
| 020 |
|
|
|a FR
|b 00042194
|
| 021 |
|
|
|a FR
|b DL 99-19192 (D3)
|
| 035 |
|
|
|a frBN024551147
|
| 100 |
|
|
|a 19990624d1999 m u0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a zz 00|z|
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Vérification de logiciels
|e techniques et outils du model-checking
|f Béatrice Bérard, Michel Bidoit, François Laroussinie... [et al.]
|g avec la collab. de Gérard Cécé, Catherine Dufourd, Alain Finkel... [et al.]
|g coordination, Philippe Schnoebelen
|
| 210 |
|
|
|a Paris
|c Vuibert
|d 1999
|e 46-Cahors
|g Impr. France Quercy
|
| 215 |
|
|
|a XV-197 p.
|c ill., couv. ill. en coul.
|d 24 cm
|
| 225 |
1 |
|
|a Vuibert informatique
|
| 300 |
|
|
|a Bibliogr. p. 183-187. Index
|
| 345 |
|
|
|b 9782711786466
|
| 606 |
|
|
|3 frBN002214800
|a Logiciels
|x Essais
|3 frBN002119081
|x Guides, manuels, etc.
|
| 606 |
0 |
0 |
|a Logiciels
|x Fiabilité
|
| 675 |
|
|
|a 67
|v Éd. 1967
|
| 676 |
|
|
|a 005.14
|
| 702 |
|
1 |
|3 frBN01488511X
|a Schnoebelen
|b Philippe
|4 651
|
| 801 |
|
3 |
|a FR
|b BN
|c 20000913
|g AFNOR
|
| 960 |
|
|
|3 frBN002214800
|a Logiciels
|x Vérification
|9 60601
|
| 979 |
|
|
|a ECN
|
| 990 |
|
|
|a 379200
|
| 993 |
|
|
|a 1142214689
|b ECN
|c 681.3 VER A 05
|d ECN1
|e ECN1
|f I
|g 11-01-2002
|h 11-01-2002
|k 30.34
|o 10-04-2003
|p 2
|s 13803
|t ECN1
|u ECN1
|v i
|
| 993 |
|
|
|a 1161253429
|b SCI
|c 681.324 VER
|d EM
|e INFAUT12
|f I
|g 27-05-1999
|h 03-02-2000
|i 07-07-2003
|k 30.34
|o 11-06-2003
|p 11
|s 125342
|t EM
|u SCINF12
|v i
|
| 998 |
|
|
|a 110464
|
Nantilus
