000			01793nam a2200385Ia 4500
001			vtls003162087
003			MY-SjTCS
005			20200226112848.0
006			m u
007			cr cn|||||||||
008			100712s2007 dcua sb 000 0 eng d
020			_z0309103940
020			_z9780309103947
035			_a(CaPaEBR)ebr10194168
039		9	_y201007121341 _zVLOAD
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).
529			_aTSLHHL
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. _925628
856	4	0	_uhttp://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10194168 _zAn electronic book accessible through the World Wide Web; click to view
999			_c100290 _d100290