國立高雄大學圖資館 |

Language: English

Back

Dependable software systems engineering

(1998 :)

Dependable software systems engineering

Record Type:	Electronic resources : Monograph/item
Title/Author:	Dependable software systems engineeringedited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
other author:	Irlbeck, Maximilian,
corporate name:
Published:	Amsterdam :IOS Press,2015.
Description:	xii, 307 pages :illustrations ;24 cm.
Subject:	Computer softwareCongresses.Verification
Online resource:	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. 19..

Includes bibliographical references and indexes.

ISBN: 9781614994954 (ebk.)

LCCN: 2015938489Subjects--Topical Terms:

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

745672
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 492549
005 19991126093734.0
006 m o d
007 cr cn
008 170216s2015 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 443711
650 0 $a Computer systems $x Verification $v Congresses. $3 445015
650 7 $a Computer software $x Verification. $3 184731
650 7 $a Computer systems $x Verification. $3 285652
655 7 $a Conference papers and proceedings. $2 fast $3 745672
700 1 $a Irlbeck, Maximilian, $e editor. $3 752714
700 1 $a Peled, Doron, $e editor. $3 752715
700 1 $a Pretschner, Alexander, $e editor. $3 752716
830 0 $a NATO science for peace and security series. $n Sub-series D, $p Information and communication security ; $v v. 19. $3 380775
856 4 0 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614994947