001 |
|
96770 |
010 |
|
|a 2008922610
|
020 |
|
|a9781586038434
|
020 |
|
|a9781607503156 (electronic bk.)
|
040 |
|
|aBTCTA|cBTCTA|dBAKER|dYDXCP|dBWX|dTXA|dDLC|dNOU
|
050 |
00
|
|aQA76.9.A25|bN377 2007|cN279
|
082 |
00
|
|a005.8|222
|
809 |
|
|pEB|dQA76.9.A25|eN279|y2008
|
111 |
2
|
|aNATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness|d(2007 :|cMarktoberdorf, Germany)
|
245 |
10
|
|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. ;|c25 cm.
|
490 |
1
|
|aNATO security through science series. D, Information and communication security,|x1874-6268 ;|vv. 14
|
504 |
|
|aIncludes bibliographical references and index.
|
650 |
0
|
|aComputer logic|vCongresses.
|
650 |
0
|
|aComputer security|vCongresses.
|
700 |
1
|
|aGrumberg, Orna.
|
700 |
1
|
|aNipkow, Tobias,|d1958-
|
700 |
1
|
|aPfaller, Christian.
|
830 |
0
|
|aNATO security through science series.|nSub-Series D,|pInformation and communication security|x1874-6268 ;|vv. 14.
|
856 |
4
|
|uhttp://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434
|