000			05009cam a2200889Ia 4500
001			ocn647184853
003			OCoLC
005			20220713034238.0
006			m o d
007			cr cn|||||||||
008			100713s2010 ne a ob 101 0 eng d
010			_a 2017394913
040			_aIOSPR _beng _epn _cIOSPR _dEBLCP _dYDXCP _dOCLCQ _dMERUC _dOCLCF _dOCLCQ _dOCLCO _dDEBSZ _dOCLCO _dOCL _dOCLCO _dOCLCQ _dOCLCO _dN$T _dOCLCO _dOCLCQ _dAGLDB _dICA _dZCU _dOCLCQ _dU3W _dOCLCA _dD6H _dVTS _dICG _dINT _dAU@ _dOCLCQ _dSTF _dDKC _dOCLCQ _dM8D _dAJS _dHS0 _dVT2 _dOCLCO
019			_a1058346205 _a1228615939
020			_a9781607501008 _q(electronic bk.)
020			_a1607501007 _q(electronic bk.)
020			_a9781607500995 _q(hbk.)
020			_a160750099X
029	1		_aAU@ _b000046054353
029	1		_aDEBBG _bBV044145884
029	1		_aDEBSZ _b430873689
029	1		_aDEBSZ _b484696564
035			_a(OCoLC)647184853 _z(OCoLC)1058346205 _z(OCoLC)1228615939
037			_a978-1-60750-100-8 _bIOS Press _nhttp://www.iospress.nl
050		4	_aQA76.76
072		7	_aCOM _xCOM014000 _2bisacsh
072		7	_aCOM _x013000 _2bisacsh
072		7	_aCOM _x014000 _2bisacsh
072		7	_aCOM _x018000 _2bisacsh
072		7	_aCOM _x067000 _2bisacsh
072		7	_aCOM _x032000 _2bisacsh
072		7	_aCOM _x037000 _2bisacsh
072		7	_aCOM _x052000 _2bisacsh
082	0	4	_a004 _222
049			_aMAIN
111	2		_aNATO Advanced Study Institute on Logics and Languages for Reliability and Security _d(2009 : _cMarktoberdorf, Germany) _91471182
245	1	0	_aLogics and languages for reliability and security / _cedited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
260			_aAmsterdam : _bIOS Press, _c2010.
300			_a1 online resource (ix, 325 pages) : _billustrations.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aNATO science for peace and security series. D, Information and communication security, _x1874-6268 ; _vv. 24
504			_aIncludes bibliographical reference and index.
588	0		_aPrint version record.
520			_aSoftware-intensive systems are an integral part of many products. They provide great benefits regarding ease of use and allow for various applications, and also impose enormous responsibilities. This title presents the papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness.
505	0		_aTitle page; Preface; Contents; A Gentle Introduction to Formal Verification of Computer Systems by Abstract Interpretation; Newtonian Program Analysis -- An Introduction; Principles and Applications of Refinement Types; 2-Valued and 3-Valued Abstraction-Refinement in Model Checking; Modal Fixed Point Logics; Effective Analysis of Infinite State Stochastic Processes and Games; Multi-Valued Automata and Their Applications; Mechanized Semantics; Using Security Policies to Write Secure Software; Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata
505	8		_aImplicit Flows in Malicious and Nonmalicious CodeSubject Index; Author Index
590			_aeBooks on EBSCOhost _bEBSCO eBook Subscription Academic Collection - Worldwide
650		0	_aComputer security _vCongresses.
650		0	_aComputer logic _vCongresses. _9192240
650		6	_aSécurité informatique _vCongrès. _9878964
650		6	_aLogique informatique _vCongrès. _91444311
650		7	_aCOMPUTERS _xComputer Literacy. _2bisacsh _938227
650		7	_aCOMPUTERS _xComputer Science. _2bisacsh _938230
650		7	_aCOMPUTERS _xData Processing. _2bisacsh _938229
650		7	_aCOMPUTERS _xHardware _xGeneral. _2bisacsh _938231
650		7	_aCOMPUTERS _xInformation Technology. _2bisacsh _938228
650		7	_aCOMPUTERS _xMachine Theory. _2bisacsh _938226
650		7	_aCOMPUTERS _xReference. _2bisacsh _938225
650		7	_aComputer logic. _2fast _0(OCoLC)fst00872265 _968522
650		7	_aComputer security. _2fast _0(OCoLC)fst00872484 _9372
655		0	_aElectronic books.
655		4	_aElectronic books.
655		7	_aConference papers and proceedings. _2fast _0(OCoLC)fst01423772
700	1		_aEsparza, Javier. _9246263
700	1		_aSpanfelner, Bernd. _9246264
700	1		_aGrumberg, Orna. _9192241
710	2		_aIOS Press. _9332468
776	0	8	_iPrint version: _aNATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany). _tLogics and languages for reliability and security. _dAmsterdam : IOS Press, 2010 _z9781607500995 _z160750099X _w(OCoLC)567148833
830		0	_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 24. _9195328
856	4	0	_uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1361692
938			_aEBL - Ebook Library _bEBLB _nEBL557042
938			_aEBSCOhost _bEBSC _n1361692
938			_aYBP Library Services _bYANK _n3379147
994			_a92 _bINOPJ
999			_c2925469 _d2925469