000			01314nam a22003374a 4500
001			ebr10067496
003			CaPaEBR
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
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.
650		0	_aModality (Logic)
650		0	_aParallel programming (Computer science)
655		7	_aElectronic books. _2local
700	1		_aQueiroz, Ruy J. G. B. de.
710	2		_aebrary, Inc.
830		0	_aTrends in logic ; _vv. 18.
856	4	0	_uhttp://site.ebrary.com/lib/kliuc/Doc?id=10067496 _zAn electronic book accessible through the World Wide Web; click to view
999			_c56962 _d56962