| 000 | 00398nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_aERNET _c78 |
||
| 040 | _aMAIN | ||
| 082 | _a400 | ||
| 100 |
_aRATTRAY,C _934757 |
||
| 245 | 0 | _aSPECIFICATION AND VERIFICATION OF CONCURRENT SYSTEMS (WORKSHOPS IN COMPUTING) | |
| 260 |
_bSV _c1990 _aLONDON |
||
| 300 | _b612 | ||
| 500 | _aBR-1042 | ||
| 942 | _cBK | ||
| 999 |
_c41695 _d41695 |
||