000			01706nam a2200397 a 4500
001			ebr10403989
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			100111s2010 dcu o s 001 0 eng d
010			_z 2010920423
020			_z9781607500995 (hardcover)
020			_z9781607501008 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)712992376
050	1	4	_aQA76.7 _b.L64eb
245	0	0	_aLogics and languages for reliability and security _h[electronic resource] / _c[edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
260			_aWashington, D.C. : _bIOS Press, _c2010.
300			_aix, 325 p. : _bill.
490	1		_aNATO science for peace and security series. D, Information and communication security ; _vv. 25
500			_aIncludes indexes.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2010. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aProgramming languages (Electronic computers)
650		0	_aLanguages, Artificial.
650		0	_aComputers _xReliability.
650		0	_aComputer security.
655		7	_aElectronic books. _2local
700	1		_aEsparza, Javier.
700	1		_aSpanfelner, Bernd.
700	1		_aGrumberg, Orna.
710	2		_aTechnische Universit�at M�unchen (Germany)
710	2		_aTECHNION. _bIsrael Institute of Technology (Israel)
710	2		_aebrary, Inc.
830		0	_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 25.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10403989 _zAn electronic book accessible through the World Wide Web; click to view
999			_c81644 _d81644