|
|
|
|
| LEADER |
00723nam a2200181 a 4500 |
| 001 |
720817 |
| 005 |
20171111231058.0 |
| 008 |
060708s1989----gr er 000 0 Eng d |
| 020 |
|
|
|a 0444871322
|
| 040 |
|
|
|a GR-AtNTU
|b gre
|
| 082 |
|
0 |
|a 005.12 FOR
|
| 245 |
1 |
4 |
|a The Formal description technique Estelle :
|b results of the ESPRIT/SEDOS Project /
|c edited by Michel Diaz .. [et al.]
|
| 260 |
|
|
|a Amsterdam:
|b North-Holland,
|c 1989
|a New York, N.Y.,:
|b Elsevier Science Pub. Co.,
|
| 300 |
|
|
|a viii, 439 p. :
|b ill. ;
|c 25 cm.
|
| 504 |
|
|
|a Includes bibliographies and index.
|
| 650 |
1 |
0 |
|a Electronic data processing
|x Distributed processing
|
| 700 |
1 |
|
|a Diaz, Michel
|
| 952 |
|
|
|a GR-AtNTU
|b 59cc22dc6c5ad13446f8e402
|c 998a
|d 945l
|e 005.12 FOR
|t 1
|x m
|z Books
|
