| 000 | 01599nam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | vtls000033638 | ||
| 003 | KUKTEM | ||
| 005 | 20251117145606.0 | ||
| 008 | 090108t2008 ne a f b 101 0 eng d | ||
| 020 | _a9781586038434 | ||
| 020 | _a1586038435 | ||
| 039 | 9 |
_a201107132245 _bVLOAD _c200908241053 _dfauzi _c200908141543 _dVLOAD _c200908141514 _dVLOAD _y200901081045 _zshah |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.A25 N38 2008 | ||
| 111 | 2 |
_aNATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness _d(2007 : _cMarktoberdorf, Germany) |
|
| 245 | 1 | 0 |
_aFormal logical methods for system security and correctness / _cedited by Orna Grumberg, Tobias Nipkow and Christian Pfaller |
| 260 |
_aAmsterdam, Netherlands ; _aWashington, DC : _bIOS Press, _cc2008 |
||
| 300 |
_aix, 318 p. : _bill. ; _c25 cm. |
||
| 490 | 1 |
_aNATO security through science series. D, Information and communication security ; _vv. 14 |
|
| 500 | _a"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso | ||
| 504 | _aIncludes bibliographical references and index | ||
| 650 | 0 |
_aComputer security _vCongresses |
|
| 650 | 0 |
_aComputer logic _vCongresses |
|
| 700 | 1 | _aGrumberg, Orna | |
| 700 | 1 | _aNipkow, Tobias | |
| 700 | 1 | _aPfaller, Christian | |
| 830 | 0 |
_aNATO security through science series. _nD, _pInformation and communication security ; _vv. 14 |
|
| 999 |
_aVIRTUA40 _c49448 _d49454 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4900*5000*5040*6500*6501*7000*7001*7002*8300*9991 | ||