國立高雄大學圖資館 |

Language: English

Back

Verification of infinite-state syste...

(1998 :)

Verification of infinite-state systems with applications to security

Record Type:	Electronic resources : Monograph/item
Title/Author:	Verification of infinite-state systems with applications to securityedited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.
other author:	Clarke, Edmund.
Published:	Amsterdam ;IOS Press,c2006.
Description:	vii, 235 p. :ill. ;25 cm.
Notes:	Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.
Series:	NATO security through science series.
Subject:	System theoryCongresses.Mathematical models
Online resource:	http://libsw.nuk.edu.tw:81/login?url=http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586035709
ISBN:	9781586035709 (electronic bk.)

Verification of infinite-state systems with applications to security
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:

453577
System theory
--Mathematical models--Congresses.

LC Class. No.: Q295 / .N38 2006

Dewey Class. No.: 005.8

Verification of infinite-state systems with applications to security
LDR:01251nmm a2200265 a 4500 001 229281
005 19991026090204.0
008 100112s2006 ne a b 101 0 eng d
010 $a 2005937272
011 8 2 $a cam 2200253 a 4500
015 $2 bnb $a GBA647473
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 BAKER $d DLC $d LHL $d UKM
050 0 0 $a Q295 $b .N38 2006
082 0 4 $2 22 $a 005.8
245 0 0 $a Verification of infinite-state systems with applications to security $c edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea. $h [electronic resource] /
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 453577
650 # 0 $a System theory $x Security measures $v Congresses. $3 453578
650 # 0 $a Computer security $v Congresses. $3 383239
650 # 0 $a Computer software $x Verification. $3 184731
700 1 # $a Clarke, Edmund. $3 353770
700 1 # $a Minea, Marius. $3 353771
700 1 # $a �Tiplea, Ferucio Lauren�tiu $3 353772
711 2 # $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
856 4 # $u http://libsw.nuk.edu.tw:81/login?url=http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586035709