|
|
|
|
| LEADER |
01479cam a22003972 4500 |
| 001 |
PPN059270586 |
| 005 |
20240820065200.0 |
| 009 |
DYNIX_BUNAN_488663 |
| 010 |
|
|
|a 3-540-42787-2
|b Br.
|
| 020 |
|
|
|a US
|b 201054972
|
| 035 |
|
|
|a ocm48241415
|
| 100 |
|
|
|a 20011025d2001 k u1frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a DE
|
| 105 |
|
|
|a y z 101yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Modeling and verification of parallel processes
|b Texte imprimé
|e 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
|f Franck Cassez ... (eds.)
|
| 210 |
|
|
|a Berlin
|c Springer
|d 2001
|
| 215 |
|
|
|a X-223 p.
|c ill.
|d 24 cm
|
| 225 |
2 |
|
|a Lecture notes in computer science
|x 0302-9743
|v 2067
|
| 320 |
|
|
|a Bibliogr..
|
| 410 |
|
|
|0 001610368
|t Lecture notes in computer science
|x 0302-9743
|v 2067
|
| 606 |
1 |
|
|3 PPN02787656X
|a Parallélisme (informatique)
|3 02886431X
|x Congrès
|2 rameau
|
| 610 |
1 |
|
|a Parallel processing (Electronic computers)
|2 lc
|
| 676 |
|
|
|a 004/.358
|v 21
|
| 680 |
|
|
|a QA76.5
|b .M69 2000
|
| 702 |
|
1 |
|3 PPN066875927
|a Cassez
|b Franck
|4 340
|
| 710 |
1 |
2 |
|a MOVEP 2000
|e Nantes, France
|f 2000
|
| 801 |
|
2 |
|a FR
|b AUROC
|c 20020905
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|c 20020905
|g AACR2
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20020905
|g AFNOR
|
| 915 |
|
|
|5 441092306:149205864
|a 13773
|b 1142217475
|
| 930 |
|
|
|5 441092306:149205864
|b 441092306
|a 681.3 MOD A 05
|j u
|
| 979 |
|
|
|a ECN
|
| 993 |
|
|
|a 1142217475
|b ECN
|c 681.3 MOD A 05
|d ECN1
|e ECN1
|f I
|g 23-04-2002
|h 23-04-2002
|p 0
|s 13773
|t ECN1
|u ECN1
|v i
|
| 998 |
|
|
|a 59855
|
Nantilus
