語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Computer software- Verification." ]
切換:
標籤
|
MARC模式
|
ISBD
Dependable software systems engineering
~
Irlbeck, Maximilian,
FindBook
Google Book
Amazon
博客來
Dependable software systems engineering
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Dependable software systems engineering/ edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
其他作者:
Irlbeck, Maximilian,
出版者:
Amsterdam :IOS Press, : 2015.,
面頁冊數:
xii, 307 pages :illustrations ;24 cm.
標題:
Computer software - Congresses. - Verification -
電子資源:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947
ISBN:
9781614994954 (ebk.)
Dependable software systems engineering
Dependable software systems engineering
[electronic resource] /edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner. - Amsterdam :IOS Press,2015. - xii, 307 pages :illustrations ;24 cm. - NATO Science for Peace and Security series D: information and communication security ;vol. 40. - NATO science for peace and security series.Sub-series D,Information and communication security ;v.24..
Includes bibliographical references and indexes.
ISBN: 9781614994954 (ebk.)
LCCN: 2015938489Subjects--Topical Terms:
1244120
Computer software
--Verification--Congresses.Index Terms--Genre/Form:
2127549
Conference papers and proceedings.
LC Class. No.: QA76.76.V47 / N38 2015
Dewey Class. No.: 005.1/4
Dependable software systems engineering
LDR
:01000cmm a22002537i 4500
001
2039883
005
19991126093734.0
006
m o d
007
cr cn
008
170118s2015 ne a b 001 0 eng d
010
$a
2015938489
020
$a
9781614994954 (ebk.)
020
$a
9781614994947 (hbk.)
035
$a
(OCoLC)ocn911061886
035
$a
00000053
040
$a
YDXCP
$b
eng
$c
YDXCP
$d
BTCTA
$d
OCLCQ
$d
FTU
$d
OCLCO
$d
OCLCF
$d
OCLCO
$d
DLC
042
$a
lccopycat
050
0 0
$a
QA76.76.V47
$b
N38 2015
082
0 4
$a
005.1/4
$2
23
245
1 0
$a
Dependable software systems engineering
$h
[electronic resource] /
$c
edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
260
$a
Amsterdam :
$b
IOS Press,
$c
2015.
300
$a
xii, 307 pages :
$b
illustrations ;
$c
24 cm.
490
1
$a
NATO Science for Peace and Security series D: information and communication security ;
$v
vol. 40
504
$a
Includes bibliographical references and indexes.
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
1244120
650
0
$a
Computer systems
$x
Verification
$v
Congresses.
$3
1244939
650
7
$a
Computer software
$x
Verification.
$3
828401
650
7
$a
Computer systems
$x
Verification.
$3
907568
655
7
$a
Conference papers and proceedings.
$2
fast
$3
2127549
700
1
$a
Irlbeck, Maximilian,
$e
editor.
$3
2197799
700
1
$a
Peled, Doron,
$e
editor.
$3
2197800
700
1
$a
Pretschner, Alexander,
$e
editor.
$3
2197801
830
0
$a
NATO science for peace and security series.
$n
Sub-series D,
$p
Information and communication security ;
$v
v.24.
$3
1243458
856
4 0
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9281443
電子資源
11.線上閱覽_V
電子書
EB QA76.76.V47 N38 2015
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入