Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Software and systems safetyspecifica...
~
(1998 :)
Software and systems safetyspecification and verification /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Software and systems safetyedited by Manfred Broy, Christian Leuxner and Tony Hoare.
Reminder of title:
specification and verification /
other author:
Broy, M.,
Published:
Amsterdam ;IOS Press,c2011.
Description:
ix, 285 p. :ill. ;25 cm.
Subject:
Computer securityCongresses.
Online resource:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507109
ISBN:
9781607507116 (electronic bk.)
Software and systems safetyspecification and verification /
Software and systems safety
specification and verification /[electronic resource] :edited by Manfred Broy, Christian Leuxner and Tony Hoare. - Amsterdam ;IOS Press,c2011. - ix, 285 p. :ill. ;25 cm. - NATO science for peace and security series.v. 301874-6268 ;.
Includes bibliographical references and index.
ISBN: 9781607507116 (electronic bk.)
LCCN: 2011922667Subjects--Topical Terms:
383239
Computer security
--Congresses.
LC Class. No.: QA76.9.A25 / S6535 2011
Dewey Class. No.: 005.8
Software and systems safetyspecification and verification /
LDR
:00921cmm a2200217 a 45
001
350525
005
20121024140909.0
008
121206s2011 ne a sb 001 0 eng d
010
$a
2011922667
020
$a
9781607507116 (electronic bk.)
020
$a
9781607507109
035
$a
(OCoLC)ocn705518941
035
$a
00000743
040
$a
YDXCP
$c
YDXCP
$d
VGM
$d
UKMGB
$d
DLC
050
0 0
$a
QA76.9.A25
$b
S6535 2011
082
0 4
$a
005.8
$2
22
245
0 0
$a
Software and systems safety
$h
[electronic resource] :
$b
specification and verification /
$c
edited by Manfred Broy, Christian Leuxner and Tony Hoare.
260
$a
Amsterdam ;
$a
Washington, D.C. :
$b
IOS Press,
$c
c2011.
300
$a
ix, 285 p. :
$b
ill. ;
$c
25 cm.
490
0
$a
NATO science for peace and security series.
$n
D,
$p
Information and communication security,
$x
1874-6268 ;
$v
v. 30
504
$a
Includes bibliographical references and index.
650
0
$a
Computer security
$v
Congresses.
$3
383239
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
0
$a
Software engineering
$3
253562
700
1
$a
Broy, M.,
$d
1949-
$3
299008
700
1
$a
Leuxner, Christian.
$3
582686
700
1
$a
Hoare, C. A. R.
$q
(Charles Antony Richard),
$d
1934-
$3
446845
711
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507109
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000074582
電子館藏
1圖書
電子書
EB QA76.9.A25 S6535 2011 c2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781607507109
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login