Formal aspects in security and trust : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers

作者：edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.
出版社：Springer Berlin Heidelberg
ISBN：9783642014659 (electronic bk.) ; 9783642014642 (paper)
出版日期：2009
其他作者：Degano, Pierpaolo. ; Guttman, Joshua. ; Martinelli, Fabio.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

x, 330 p. ::ill., digital ;:24 cm.

搜尋同作者