| 000 | 00391nam a2200157 a 4500 | ||
|---|---|---|---|
| 005 | 20160322165145.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 020 | _a0521450551 | ||
| 041 | _aeng | ||
| 082 | _a004.415.2 DAV | ||
| 100 |
_aDavies,Jim _91823 |
||
| 245 | _aSpecification and proof in real time CSP | ||
| 260 |
_aCambridge _bCambridge press |
||
| 300 | _a180 | ||
| 942 | _cBK | ||
| 999 |
_c155169 _d155169 |
||