000 | 00395nam a2200121Ia 4500 | ||
---|---|---|---|
008 | 160523s9999 xx 000 0 und d | ||
020 | _a978-0-521-58386-2 | ||
100 | _aBarwise, J. | ||
245 | _aInformation Flow: The logic of distributed systems | ||
260 |
_aCambridge _bCambridge University Press _c1997 |
||
300 | _axv, 274p. | ||
490 | _acambridge Tracts in Theoretical Computer Science no. 44 | ||
999 |
_c30827 _d30827 |