000			01894nam a2200385Ia 4500
001			0000100684
005			20171002055224.0
006			m u
007			cr cn|||||||||
008			080407s2008 ne a sb 101 0 eng d
020			_z9781586038434
020			_z1586038435
035			_a(CaPaEBR)ebr10231732
035			_a(OCoLC)506072610
040			_aCaPaEBR _cCaPaEBR
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/daystar/Doc?id=10231732 _zAn electronic book accessible through the World Wide Web; click to view
908			_a170314
942	0	0	_cEB
999			_c89837 _d89837