大葉大學圖書館 |

登入

回首頁

Formal logical methods for system se...

Clark Conference ((2005 :)

Formal logical methods for system security and correctness[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.8
書名/作者:	Formal logical methods for system security and correctness/ edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
其他作者:	Grumberg, Orna.
團體作者:	Clark Conference
出版者:	Amsterdam, Netherlands ; : IOS Press,, c2008.
面頁冊數:	ix, 318 p. : : ill. ;; 25 cm.
標題:	Computer security
標題:	Computer logic
ISBN:	9781607503156 (electronic bk.)
ISBN:	9781586038434
書目註:	Includes bibliographical references and index.
電子資源:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434

Formal logical methods for system security and correctness[electronic resource] /
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:

158051
Computer security

LC Class. No.: QA76.9.A25 / N377 2007

Dewey Class. No.: 005.8

Formal logical methods for system security and correctness[electronic resource] /
LDR:00962cam 2200229 a 4500 001 332081
005 19991001165731.0
008 110608s2008 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 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
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 $3 158051
650 0 $a Computer logic $3 210496
700 1 $a Grumberg, Orna. $3 386191
700 1 $a Nipkow, Tobias, $d 1958- $3 386192
700 1 $a Pfaller, Christian. $3 386193
830 0 $a NATO security through science series. $n Sub-Series D, $p Information and communication security $x 1874-6268 ; $v v. 14. $3 386194
856 4 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434

筆 0 讀者評論

多媒體

多媒體檔案
http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586038434

評論

Export

取書館別