001 |
|
96767 |
020 |
|
|a9781586039769
|
020 |
|
|a9781607504108 (electronic bk.)
|
040 |
|
|aBTCTA|cBTCTA|dYDXCP|dBWX|dTXA|dGBVCP|dNOU
|
050 |
4
|
|aQA76.758|b.N3846 2008|cN279
|
082 |
04
|
|a005.1|222
|
809 |
|
|pEB|dQA76.758|eN279|y2009
|
111 |
2
|
|aNATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security|d(2008 :|cMarktoberdorf, Germany)
|
245 |
10
|
|aEngineering methods and tools for software safety and security|h[electronic resource] /|cedited by Manfred Broy, Wassiou Sitou and Tony Hoare.
|
260 |
|
|aAmsterdam, Netherlands ;|aWashington, DC :|bIOS Press,|cc2009.
|
300 |
|
|aix, 333 p. :|bill. ;|c25 cm.
|
490 |
1
|
|aNATO science for peace and security series. D, Information and communication security,|x1874-6268 ;|vv.22
|
504 |
|
|aIncludes bibliographical references and index.
|
650 |
0
|
|aComputer security|vCongresses.
|
650 |
0
|
|aSoftware engineering|vCongresses.
|
700 |
1
|
|aBroy, M.,|d1949-
|
700 |
1
|
|aHoare, C. A. R.|q(Charles Antony Richard),|d1934-
|
700 |
1
|
|aSitou, Wassiou.
|
830 |
0
|
|aNATO science for peace and security series.|nSub-series D,|pInformation and communication security ;|vv.22.
|
856 |
4
|
|uhttp://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586039769
|