東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | 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