000			01875nam a2200397 a 4500
001			ebr10506356
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			110209s2011 ne a sb 101 0 eng d
010			_z 2011922667
020			_z9781607507109
020			_z9781607507116 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)756484723
050	1	4	_aQA76.76.P76 _bS64 2011eb
245	0	0	_aSoftware and systems safety _h[electronic resource] : _bspecification and verification / _cedited by Manfred Broy, Christian Leuxner and Tony Hoare.
260			_aAmsterdam, The Netherlands : _bIOS Press, _c2011.
300			_aix, 285 p. : _bill. (some col.).
490	1		_aNATO science for peace and security series. Sub-series D, Information and communication security, _x1874-6268 ; _vv. 30
504			_aIncludes bibliographical references and indexes.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2013. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aSoftware protection _vCongresses.
650		0	_aComputer software _xReliability _vCongresses.
650		0	_aSoftware engineering _vCongresses.
650		0	_aComputer security _vCongresses.
650		0	_aSystem safety _vCongresses.
655		7	_aElectronic books. _2local
700	1		_aBroy, Manfred.
700	1		_aLeuxner, Christian.
700	1		_aHoare, A. G.
710	2		_aebrary, Inc.
711	2		_aNATO Advanced Study Institute on Software and Systems Safety : Specification and Verification _d(2010 : _cMarktoberdorf, Germany)
830		0	_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 30.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10506356 _zAn electronic book accessible through the World Wide Web; click to view
999			_c218728 _d218728