000			02102nam a2200409 a 4500
001			ebr10574718
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			120417s2012 dcua s 101 0 eng d
010			_z 2012937823
020			_z9781614990277 (hardcover)
020			_z9781614990284 (online)
020			_z9781614990284 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)802047753
050	1	4	_aQA76.76.V47 _bN38 2011eb
111	2		_aNATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security _d(2011 : _cBayrischzell, Germany)
245	1	0	_aSoftware safety and security _h[electronic resource] : _btools for analysis and verification / _cedited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
260			_aWashington, D.C. : _bIOS Press, _c2012.
300			_aix, 387 p. : _bill.
490	1		_aNATO science for peace and security series. Sub-series D, Information and communication security, _x1874-6268 ; _vv. 33
500			_a"Published in cooperation with NATO Emerging Security Challenges Division."
500			_a"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
500			_aIncludes indexes.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2013. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aComputer software _xVerification _vCongresses.
650		0	_aComputer security _vCongresses.
655		7	_aElectronic books. _2local
700	1		_aNipkow, Tobias, _d1958-
700	1		_aGrumberg, Orna.
700	1		_aHauptmann, Benedikt.
710	2		_aNATO Emerging Security Challenges Division.
710	2		_aebrary, Inc.
830		0	_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 33.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10574718 _zAn electronic book accessible through the World Wide Web; click to view
999			_c79393 _d79393