國立虎尾科技大學 |

登入

回首頁

Dependable software systems engineering

Pretschner, Alexander,

Dependable software systems engineering

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Dependable software systems engineering/ edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
其他作者:	Irlbeck, Maximilian,
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	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.27..

Includes bibliographical references and indexes.

ISBN: 9781614994954 (ebk.)

LCCN: 2015938489Subjects--Topical Terms:

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

1097368
Conference papers and proceedings.

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

Dewey Class. No.: 005.1/4

Dependable software systems engineering
LDR:01000cam a22002537i 4500 001 857216
005 19991126093734.0
006 m o d
007 cr cn
008 170421s2015 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 Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 675265 $3 727805
650 0 $a Computer systems $x Verification $v Congresses. $3 793385
650 7 $a Computer software $x Verification. $3 562914
650 7 $a Computer systems $x Verification. $3 574261
655 7 $a Conference papers and proceedings. $2 fast $3 1097368
700 1 $a Irlbeck, Maximilian, $e editor. $3 1097400
700 1 $a Peled, Doron, $e editor. $3 1097401
700 1 $a Pretschner, Alexander, $e editor. $3 1097402
830 0 $a NATO science for peace and security series. $n Sub-series D, $p Information and communication security ; $v v.27. $3 805663
856 4 0 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947

筆 0 讀者評論

多媒體

評論

新增評論分享你的心得

Export

取書館別