000			01842nam a2200361Ia 4500
001			ebr10231732
003			CaPaEBR
007			cr cn|||||||||
008			080407s2008 ne a sb 101 0 eng d
020			_z9781586038434
020			_z1586038435
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)646750834
050	1	4	_aQA76.9.A25 _bN3754 2007eb
111	2		_aNATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness _d(2007 : _cMarktoberdorf, Germany)
245	1	0	_aFormal logical methods for system security and correctness _h[electronic resource] / _cedited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
260			_aAmsterdam, Netherlands ; _aWashington, DC : _bIOS Press, _cc2008.
300			_aix, 318 p. : _bill.
490	1		_aNATO security through science series. D, Information and communication security, _x1874-6268 ; _vv. 14
500			_a"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
504			_aIncludes bibliographical references and index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2011. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aComputer security _vCongresses.
650		0	_aComputer logic _vCongresses.
655		7	_aElectronic books. _2local
700	1		_aGrumberg, Orna.
700	1		_aNipkow, Tobias, _d1958-
700	1		_aPfaller, Christian.
710	2		_aebrary, Inc.
830		0	_aNATO security through science series. _nD, _pInformation and communication security ; _vv. 14.
856	4	0	_uhttp://site.ebrary.com/lib/kliuc/Doc?id=10231732 _zAn electronic book accessible through the World Wide Web; click to view
999			_c47472 _d47472