大葉大學圖書館 |

登入

回首頁

Dependable software systems engineer...

Clark Conference ((2005 :)

Dependable software systems engineering[electronic resource] /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	005.1/4
書名/作者:	Dependable software systems engineering/ edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
其他作者:	Irlbeck, Maximilian,
團體作者:	Clark Conference
出版者:	Amsterdam : : IOS Press,, 2015.
面頁冊數:	xii, 307 pages : : illustrations ;; 24 cm.
標題:	Computer software - Congresses. - Verification
標題:	Computer systems - Congresses. - Verification
標題:	Computer software - Congresses. - Verification.
標題:	Computer systems - Verification.
ISBN:	9781614994954 (ebk.)
ISBN:	9781614994947 (hbk.)
書目註:	Includes bibliographical references and indexes.
電子資源:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947

Dependable software systems engineering[electronic resource] /
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. 20..

Includes bibliographical references and indexes.

ISBN: 9781614994954 (ebk.)

LCCN: 2015938489Subjects--Topical Terms:

466241
Computer software
--Verification--Congresses.Index Terms--Genre/Form:

651008
Conference papers and proceedings.

LC Class. No.: QA76.76.V47 / N38 2015

Dewey Class. No.: 005.1/4

Dependable software systems engineering[electronic resource] /
LDR:01000cmm a22002537i 4500 001 457910
005 19991126093734.0
006 m o d
007 cr cn
008 170113s2015 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
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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 466241
650 0 $a Computer systems $x Verification $v Congresses. $3 571319
650 7 $a Computer software $x Verification. $v Congresses. $3 411958
650 7 $a Computer systems $x Verification. $3 624146
655 7 $a Conference papers and proceedings. $2 fast $3 651008
700 1 $a Irlbeck, Maximilian, $e editor. $3 658636
700 1 $a Peled, Doron, $e editor. $3 658637
700 1 $a Pretschner, Alexander, $e editor. $3 658638
830 0 $a NATO science for peace and security series. $n Sub-series D, $p Information and communication security ; $v v. 20. $3 369845
856 4 0 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947

筆 0 讀者評論

多媒體

多媒體檔案
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947

評論

新增評論分享你的心得

Export

取書館別