| 000 | 00784nam a2200253 4500 | ||
|---|---|---|---|
| 001 | 24551 | ||
| 010 |
_a3-540-63388-X _bbrochado _dEsc 14 239$ |
||
| 090 | _a24551 | ||
| 100 | _a19980911d1997 k||y0pory50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aUS | ||
| 200 | 1 |
_aTheoretical aspects of computer software _ethird international symposium, TACS' 97, Sendai, Japan, September 23-26, 1997 _eproceedings _fMartin Abadi, Takayasu Ito, ed. lit. |
|
| 210 |
_aNew York _cSpringer _dcop. 1997 |
||
| 215 |
_aXI, 638 p. _d24 cm |
||
| 225 | 2 |
_aLecture notes in computer science _v1281 |
|
| 606 |
_913651 _aSoftware |
||
| 680 | _aQA75.5 | ||
| 702 |
_952477 _aAbadi _bMartÃn _4340 |
||
| 702 |
_956742 _aIto _bTakayasu _4340 |
||
| 801 | 0 |
_gRPC _aPT |
|
| 942 |
_2lcc _cA _n0 |
||