Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Software safety and securitytools fo...
~
(1998 :)
Software safety and securitytools for analysis and verification /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Software safety and securityedited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Reminder of title:
tools for analysis and verification /
other author:
Nipkow, Tobias,
corporate name:
Published:
Washington, D.C. :IOS Press,2012.
Description:
ix, 387 p. :ill. ;25 cm.
Notes:
Includes indexes.
Subject:
Computer softwareCongresses.Verification
Online resource:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277
ISBN:
9781614990284 (electronic bk.)
Software safety and securitytools for analysis and verification /
Software safety and security
tools for analysis and verification /[electronic resource] :edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. - Washington, D.C. :IOS Press,2012. - ix, 387 p. :ill. ;25 cm. - NATO science for peace and security series. Sub-series D, Information and communication security ;v. 33.. - NATO science for peace and security series.Sub-series D,Information and communication security ;v. 19..
Includes indexes.
ISBN: 9781614990284 (electronic bk.)Subjects--Topical Terms:
443711
Computer software
--Verification--Congresses.
LC Class. No.: QA76.76.V47 / N38 2011
Dewey Class. No.: 005.1/4
Software safety and securitytools for analysis and verification /
LDR
:00810nmm a2200193 a 4500
001
393405
005
20131009143751.0
008
131206s2012 dcua s 101 0 eng d
020
$a
9781614990284 (electronic bk.)
020
$a
9781614990277
035
$a
13000384
040
$a
CaPaEBR
$c
CaPaEBR
050
4
$a
QA76.76.V47
$b
N38 2011
082
0 4
$a
005.1/4
$2
23
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Software safety and security
$h
[electronic resource] :
$b
tools for analysis and verification /
$c
edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
260
$a
Washington, D.C. :
$b
IOS Press,
$c
2012.
300
$a
ix, 387 p. :
$b
ill. ;
$c
25 cm.
490
1
$a
NATO science for peace and security series. Sub-series D, Information and communication security ;
$v
v. 33.
500
$a
Includes indexes.
650
0
$a
Computer software
$x
Verification
$v
Congresses.
$3
443711
650
0
$a
Computer security
$v
Congresses.
$3
383239
700
1
$a
Nipkow, Tobias,
$d
1958-
$3
471913
700
1
$a
Grumberg, Orna.
$3
348955
700
1
$a
Hauptmann, Benedikt.
$3
618812
710
2
$a
NATO Emerging Security Challenges Division.
$3
582411
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=9781614990277
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
000000087026
電子館藏
1圖書
電子書
EB QA76.76.V47 N38 2011 2012
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login