Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Formal logical methods for system se...
~
(1998 :)
Formal logical methods for system security and correctness
Record Type:
Electronic resources : Monograph/item
Title/Author:
Formal logical methods for system security and correctnessedited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
other author:
Nipkow, Tobias,
corporate name:
Published:
Amsterdam, Netherlands ;IOS Press,c2008.
Description:
ix, 318 p. :ill. ;25 cm.
Subject:
Computer securityCongresses.
Online resource:
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434
ISBN:
9781607503156 (electronic bk.)
Formal logical methods for system security and correctness
Formal logical methods for system security and correctness
[electronic resource] /edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. - Amsterdam, Netherlands ;IOS Press,c2008. - ix, 318 p. :ill. ;25 cm. - NATO security through science series. D, Information and communication security,v. 141874-6268 ;. - NATO security through science series.Sub-Series D,Information and communication securityv. 14..
Includes bibliographical references and index.
ISBN: 9781607503156 (electronic bk.)
LCCN: 2008922610Subjects--Topical Terms:
383239
Computer security
--Congresses.
LC Class. No.: QA76.9.A25 / N377 2007
Dewey Class. No.: 005.8
Formal logical methods for system security and correctness
LDR
:00961cmm 2200229 a 4500
001
267037
005
19991001165731.0
008
101104s2008 ne a sb 101 0 eng d
010
$a
2008922610
020
$a
9781607503156 (electronic bk.)
020
$a
9781586038434
035
$a
(OCoLC)ocn221166019
035
$a
00000023
040
$a
BTCTA
$c
BTCTA
$d
BAKER
$d
YDXCP
$d
BWX
$d
TXA
$d
DLC
042
$a
lccopycat
050
0 0
$a
QA76.9.A25
$b
N377 2007
082
0 0
$a
005.8
$2
22
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Formal logical methods for system security and correctness
$h
[electronic resource] /
$c
edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
260
$a
Amsterdam, Netherlands ;
$a
Washington, DC :
$b
IOS Press,
$c
c2008.
300
$a
ix, 318 p. :
$b
ill. ;
$c
25 cm.
490
1
$a
NATO security through science series. D, Information and communication security,
$x
1874-6268 ;
$v
v. 14
504
$a
Includes bibliographical references and index.
650
0
$a
Computer security
$v
Congresses.
$3
383239
650
0
$a
Computer logic
$v
Congresses.
$3
443053
700
1
$a
Nipkow, Tobias,
$d
1958-
$3
471913
700
1
$a
Pfaller, Christian.
$3
471914
700
1
$a
Grumberg, Orna.
$3
348955
830
0
$a
NATO security through science series.
$n
Sub-Series D,
$p
Information and communication security
$x
1874-6268 ;
$v
v. 14.
$3
471915
856
4
$u
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434
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
000000043581
電子館藏
1圖書
電子書
EB QA76.9.A25 N377 2007 2008
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login