東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Verification of infinite-state syste...

Clarke, Edmund.

Linked to FindBook

Google Book

Amazon

博客來

Verification of infinite-state systems with applications to security

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Verification of infinite-state systems with applications to security/ edited 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:	Computer security - Congresses. -
ISBN:	1586035703

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: 1586035703

LCCN: 2005937272

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

622818
Computer security
--Congresses.

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

Dewey Class. No.: 005.8

Verification of infinite-state systems with applications to security
LDR:01172cam 2200253 a 45 001 846047
005 20100603
008 100603s2006 ne a b 101 0 eng d
010 $a 2005937272
015 $a GBA647473 $2 bnb
020 $a 1586035703
020 $a 9781586035709 (electronic bk.)
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. : $c c2006. $b IOS Press,
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 Computer security $v Congresses. $3 622818
650 0 $a Computer software $x Verification. $v Congresses. $3 1008699
650 0 $a System theory $x Mathematical models $v Congresses. $3 1008700
650 0 $a System theory $x Security measures $v Congresses. $3 1008701
700 1 $a Clarke, Edmund. $3 1008696
700 1 $a Minea, Marius. $3 1008697
700 1 $a �Tiplea, Ferucio Lauren�tiu $3 1008698
711 2 $a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security $d (2005 March 17-22 : $c Tima�soara, Romania) $3 1008702
856 4 $a http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586035709