Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

作者：edited by Gilles Barthe ... [et al.].

出版社：Springer-Verlag GmbH.

ISBN：9783540305699 (electronic bk.) ; 9783540242871 (paper)

出版日期：2005

其他作者：Barthe, Gilles.

語言：zh

出版地：Berlin Heidelberg :

內容簡介

vi, 256 p. ::ill., digital ;:24 cm.

搜尋同作者