| 000 | 01421nam a22003614a 4500 | ||
|---|---|---|---|
| 001 | ebr10067496 | ||
| 003 | CaPaEBR | ||
| 005 | 20260707174939.0 | ||
| 006 | m u | ||
| 007 | cr cn||||||||| | ||
| 008 | 030401s2003 ne a sb 000 0 eng | ||
| 010 | _z 2003045807 | ||
| 020 | _z1402012705 (alk. paper) | ||
| 040 |
_aCaPaEBR _cCaPaEBR |
||
| 035 | _a(OCoLC)646723384 | ||
| 050 | 1 | 4 |
_aQA9.54 _b.L64 2003eb |
| 082 | 0 | 4 |
_a511.3 _221 |
| 090 |
_c90707 _d70584 |
||
| 245 | 0 | 0 |
_aLogic for concurrency and synchronisation _h[electronic resource] / _cedited by Ruy J.G.B. de Queiroz. |
| 260 |
_aDordrecht ; _aBoston : _bKluwer Academic Publishers, _cc2003. |
||
| 300 |
_axxi, 284 p. : _bill. ; _c25 cm. |
||
| 490 | 1 |
_aTrends in logic ; _vv. 18 |
|
| 504 | _aIncludes bibliographical references. | ||
| 533 |
_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2009. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries. |
||
| 650 | 0 |
_aProof theory. _994144 |
|
| 650 | 0 |
_aModality (Logic) _9414 |
|
| 650 | 0 |
_aParallel programming (Computer science) _94694 |
|
| 655 | 7 |
_aElectronic books. _2local _9190 |
|
| 700 | 1 |
_aQueiroz, Ruy J. G. B. de. _9113948 |
|
| 710 | 2 |
_aebrary, Inc. _9191 |
|
| 830 | 0 |
_aTrends in logic ; _vv. 18. _9113949 |
|
| 856 | 4 | 0 |
_uhttp://site.ebrary.com/lib/strathmore/Doc?id=10067496 _zAn electronic book accessible through the World Wide Web; click to view |
| 999 |
_c90707 _d70584 |
||