000			02178nam a2200433 i 4500
001			0000194965
005			20171002070140.0
006			m o d
007			cr cn|||||||||
008			150728t20152015ne a ob 001 0 eng d
020			_z9781614994947
020			_a9781614994954 (e-book)
035			_a(CaPaEBR)ebr11079843
040			_aCaPaEBR _beng _erda _epn _cCaPaEBR
050	1	4	_aQA76.76.V47 _b.D474 2015eb
082	0	4	_a005.14 _223
245	0	0	_aDependable software systems engineering / _cedited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner.
264		1	_aAmsterdam, Netherlands : _bIOS Press, _c2015.
264		4	_c©2015
300			_a1 online resource (320 pages) : _billustrations, tables.
336			_atext _2rdacontent
337			_acomputer _2rdamedia
338			_aonline resource _2rdacarrier
490	1		_aNATO Science for Peace and Security Series - D: Information and Communication Security, _x1879-8292 ; _vVolume 40
504			_aIncludes bibliographical references at the end of each chapters and index.
588			_aDescription based on online resource; title from PDF title page (ebrary, viewed July 28, 2015).
590			_aElectronic reproduction. Palo Alto, Calif. : ebrary, 2015. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
650		0	_aComputer software _xVerification _vCongresses.
650		0	_aComputer systems _xVerification _vCongresses.
655		0	_aElectronic books.
700	1		_aIrlbeck, Maximilian, _eeditor.
700	1		_aPeled, Doron, _eeditor.
700	1		_aPretschner, Alexander, _eeditor.
776	0	8	_iPrint version: _tDependable software systems engineering. _dAmsterdam, Netherlands : IOS Press, c2015 _hxii, 307 pages _kNATO science for peace and security series. Sub-series D, Information and communication security ; Volume 40. _x1879-8292 _z9781614994947
797	2		_aebrary.
830		0	_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vVolume 40.
856	4	0	_uhttp://site.ebrary.com/lib/daystar/Doc?id=11079843 _zAn electronic book accessible through the World Wide Web; click to view
908			_a170314
942	0	0	_cEB
999			_c184098 _d184098