000			00801nmm a2200229Ia 4500
001			EBB75999
005			20250803141259.0
008			250803s9999||||xx |||||||||||||||||und||
020			_a9781607500995
041			_aeng
100			_aJ. Esparza-B. Spanfelner-O. Grumberg
245		0	_aLogics and Languages for Reliability and Security
260			_bIOS Press
260			_c2010
490			_aNATO Science for Peace and Security Series. D, Information and Communication Security
650			_a Information Technology
650			_aComputer logic--Congresses.,Computer security--Congresses.
650			_aCOMPUTERS
856			_3Click here to access online
856			_uhttps://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=1361692
942			_cEBK
999			_c277497 _d277497