大葉大學圖書館 |

登入

回首頁

Verification of infinite-state syste...

Clark Conference ((2005 :)

Verification of infinite-state systems with applications to security[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.8
書名/作者:	Verification of infinite-state systems with applications to security/ edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.
其他作者:	Clarke, Edmund.
出版者:	Amsterdam ; : IOS Press,, c2006.
面頁冊數:	vii, 235 p. : : ill. ;; 25 cm.
附註:	Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.
叢書名:	NATO security through science series.
標題:	System theory - Congresses. - Mathematical models
標題:	System theory - Congresses. - Security measures
標題:	Computer security
標題:	Computer software - Congresses. - Verification.
ISBN:	9781586035709 (electronic bk.)
ISBN:	1586035703
書目註:	Includes bibliographical references and author index.
電子資源:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586035709

Verification of infinite-state systems with applications to security[electronic resource] /
Verification of infinite-state systems with applications to security[electronic resource] /edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea. - Amsterdam ;IOS Press,c2006. - vii, 235 p. :ill. ;25 cm. - NATO security through science series.D :Information and communication security ;vol. 1.

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.

ISBN: 9781586035709 (electronic bk.)

LCCN: 2005937272

Nat. Bib. No.: GBA647473bnbSubjects--Topical Terms:

411956
System theory
--Mathematical models--Congresses.

LC Class. No.: MLCM 2006/40079 (Q)

Dewey Class. No.: 005.8

Verification of infinite-state systems with applications to security[electronic resource] /
LDR:01182cam 2200253 a 4500 001 340426
005 19990915135314.0
008 110621s2006 ne a b 101 0 eng d
010 $a 2005937272
015 $a GBA647473 $2 bnb
020 $a 9781586035709 (electronic bk.)
020 $a 1586035703
035 $a (CStRLIN)MOHG65661588-B
035 $a (OCoLC)ocm65661588
035 $a 00000083
040 $a UUM $c UUM $d UKM $d BAKER $d LHL $d DLC
050 0 0 $a MLCM 2006/40079 (Q)
082 0 4 $a 005.8 $2 22
245 0 0 $a Verification of infinite-state systems with applications to security $h [electronic resource] / $c edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.
260 # $a Amsterdam ; $a Washington, D.C. : $b IOS Press, $c c2006.
300 $a vii, 235 p. : $b ill. ; $c 25 cm.
440 0 $a NATO security through science series. $n D : $p Information and communication security ; $v vol. 1
500 $a Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.
504 $a Includes bibliographical references and author index.
650 # 0 $a System theory $x Mathematical models $v Congresses. $3 411956
650 # 0 $a System theory $x Security measures $v Congresses. $3 411957
650 # 0 $a Computer security $3 158051
650 # 0 $a Computer software $x Verification. $v Congresses. $3 411958
700 1 # $a Clarke, Edmund. $3 411953
700 1 # $a Minea, Marius. $3 411954
700 1 # $a �Tiplea, Ferucio Lauren�tiu $3 411955
711 2 # $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
856 4 # $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586035709

筆 0 讀者評論

多媒體

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

評論

新增評論分享你的心得

Export

取書館別