國立虎尾科技大學 |

Language: English

Back

Dependable software systems engineering

Pretschner, Alexander,

Dependable software systems engineering

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Dependable software systems engineering/ edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
other author:	Irlbeck, Maximilian,
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Amsterdam :IOS Press, : 2015.,
Description:	xii, 307 pages :illustrations ; : 24 cm.;
Subject:	Computer software - Congresses. - 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.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

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library