Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

作者：edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman.
出版社：Springer Berlin Heidelberg
ISBN：9783642197512 (electronic bk.) ; 9783642197505 (paper)
出版日期：2011
其他作者：Degano, Pierpaolo. ; Etalle, Sandro. ; Guttman, Joshua.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者