語系:
繁體中文
English
簡体中文
說明(常見問題)
登入
網路辦證
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Software safety and security : tools for analysis and verification
紀錄類型:
書目-電子資源 : 單行本
副題名:
tools for analysis and verification
其他作者:
NipkowTobias, 1958-
其他作者:
GrumbergOrna.,
其他作者:
HauptmannBenedikt.,
團體作者:
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security(2011
其他團體作者:
NATO Emerging Security Challenges Division.
出版地:
Washington, D.C.
出版者:
IOS Press;
出版年:
2012.
面頁冊數:
ix, 387 p.ill. : 25 cm.;
集叢名:
NATO science for peace and security series. Sub-series D, Information and communication security
標題:
Computer software - Verification -
標題:
Computer security - Congresses. -
電子資源:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277
附註:
Includes indexes.
ISBN:
9781614990284(electronic bk.)
ISBN:
9781614990277
Software safety and security : tools for analysis and verification
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
Software safety and security
: tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. - Washington, D.C. : IOS Press, 2012.. - ix, 387 p. ; ill. ; 25 cm.. - (NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.).
Includes indexes..
ISBN 9781614990284ISBN 9781614990277
Computer softwareComputer security -- Verification -- Congresses.
Nipkow, Tobias
Software safety and security : tools for analysis and verification
LDR
:00947clm 2200265 i 450
001
279561
005
20131009143751.0
009
13000384
010
1
$a
9781614990284
$b
(electronic bk.)
010
1
$a
9781614990277
100
$a
20140221d2012 u y0engy01 b
101
0
$a
eng
102
$a
us
105
$a
a z 101yy
135
$a
v
200
1
$a
Software safety and security
$e
tools for analysis and verification
$f
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
204
1
$a
[electronic resource]
210
$a
Washington, D.C.
$d
2012.
$c
IOS Press
215
1
$a
ix, 387 p.
$c
ill.
$d
25 cm.
225
2
$a
NATO science for peace and security series. Sub-series D, Information and communication security
$v
v. 33.
300
$a
Includes indexes.
606
$a
Computer software
$x
Verification
$x
Congresses.
$2
lc
$3
300363
606
$a
Computer security
$x
Congresses.
$2
lc
$3
300364
676
$a
005.1/4
$v
23
680
$a
QA76.76.V47
$b
N38 2011
702
1
$a
Nipkow
$b
Tobias
$f
1958-
$3
300359
702
1
$a
Grumberg
$b
Orna.
$3
300360
702
1
$a
Hauptmann
$b
Benedikt.
$3
300361
710
1 2
$a
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
$f
(2011
$c
Bayrischzell, Germany)
$3
300362
712
0 2
$a
NATO Emerging Security Challenges Division.
$3
299913
801
0
$a
tw
$b
Windeal
$c
20131021
$d
ltu
801
1
$a
tw
$b
Windeal
$c
20131021
$d
ltu
856
7
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277
筆 0 讀者評論
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入