Jump to main content

図書

Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), world computer congress, August 22-27, 2004, Toulouse, France. : 2nd international workshop on formal aspects in security and trust : Aug 2004, Toulouse, France. (IFIP ; 173)

Icons representing 図書

Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), world computer congress, August 22-27, 2004, Toulouse, France. : 2nd international workshop on formal aspects in security and trust : Aug 2004, Toulouse, France.

(IFIP ; 173)

Call No. (NDL)
M17-05-641
Bibliographic ID of National Diet Library
000007644328
Material type
図書
Author
Dimitrakos, Theo.ほか
Publisher
Springer
Publication date
c2005.
Material Format
Paper
Capacity, size, etc.
x, 246 p. : ill. ; 25 cm.
NDC
-
View All

Notes on use

Note (General)：

Papers and discussions.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0387240500 (HB)
0387240985 (eBOOK)
Title
Formal aspects in security and trust : IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), world computer congress, August 22-27, 2004, Toulouse, France. : 2nd international workshop on formal aspects in security and trust : Aug 2004, Toulouse, France.
Series Title
IFIP ; 173
Title Heading
International Federation for Information Processing (Series) ; 173.
Author Heading
Dimitrakos, Theo.
Martinelli, F. (Fabio)
Workshop on Formal Aspects in Security and Trust (2nd : 2004 : Toulouse, France)
IFIP World Computer Congress (18th : 2004 : Toulouse, France)
Publication, Distribution, etc.
New York : Springer
Publication Date
c2005.
Publication Date (W3CDTF)
2005
Extent
x, 246 p. : ill. ; 25 cm.