000 | 01842nam a2200361Ia 4500 | ||
---|---|---|---|
001 | ebr10231732 | ||
003 | CaPaEBR | ||
007 | cr cn||||||||| | ||
008 | 080407s2008 ne a sb 101 0 eng d | ||
020 | _z9781586038434 | ||
020 | _z1586038435 | ||
040 |
_aCaPaEBR _cCaPaEBR |
||
035 | _a(OCoLC)646750834 | ||
050 | 1 | 4 |
_aQA76.9.A25 _bN3754 2007eb |
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 _h[electronic resource] / _cedited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. |
260 |
_aAmsterdam, Netherlands ; _aWashington, DC : _bIOS Press, _cc2008. |
||
300 |
_aix, 318 p. : _bill. |
||
490 | 1 |
_aNATO security through science series. D, Information and communication security, _x1874-6268 ; _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. | ||
533 |
_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2011. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries. |
||
650 | 0 |
_aComputer security _vCongresses. |
|
650 | 0 |
_aComputer logic _vCongresses. |
|
655 | 7 |
_aElectronic books. _2local |
|
700 | 1 | _aGrumberg, Orna. | |
700 | 1 |
_aNipkow, Tobias, _d1958- |
|
700 | 1 | _aPfaller, Christian. | |
710 | 2 | _aebrary, Inc. | |
830 | 0 |
_aNATO security through science series. _nD, _pInformation and communication security ; _vv. 14. |
|
856 | 4 | 0 |
_uhttp://site.ebrary.com/lib/kliuc/Doc?id=10231732 _zAn electronic book accessible through the World Wide Web; click to view |
999 |
_c47472 _d47472 |