|
|
|
|
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
|