000			01692nam a2200373Ia 4500
001			0000094925
005			20171002054857.0
006			m u
007			cr cn|||||||||
008			070706s2007 dcua sb 000 0 eng d
020			_z0309103940
020			_z9780309103947
035			_a(CaPaEBR)ebr10194168
035			_a(OCoLC)567827789
040			_aCaPaEBR _cCaPaEBR
050	1	4	_aQA76.76.R44 _bN35 2007eb
082	0	4	_a005 _222
110	2		_aNational Research Council (U.S.). _bCommittee on Certifiably Dependable Software Systems.
245	1	0	_aSoftware for dependable systems _h[electronic resource] : _bsufficient evidence? / _cDaniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
260			_aWashington, D.C. : _bNational Academies Press, _cc2007.
300			_axv, 131 p. : _bill.
504			_aIncludes bibliographical references (p. 110-116).
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2009. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aComputer software _xReliability.
650		0	_aSoftware engineering.
650		0	_aSystems software _xReliability.
655		7	_aElectronic books. _2local
700	1		_aJackson, Daniel.
700	1		_aMillett, Lynette I.
700	1		_aThomas, Martyn.
710	2		_aebrary, Inc.
856	4	0	_uhttp://site.ebrary.com/lib/daystar/Doc?id=10194168 _zAn electronic book accessible through the World Wide Web; click to view
908			_a170314
942	0	0	_cEB
999			_c84080 _d84080