このページのリンク

<図書>
Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers / Gilles Barthe ... [et al.] (eds.)
(Lecture notes in computer science ; 3362)

電子版 >> Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
出版情報 Berlin : Springer , c2005
巻冊次 ISBN:3540242872 REFWLINK
ISBN 3540242872
本文言語 英語
別書名 背表紙タイトル:CASSIS 2004
大きさ vi, 256 p. : ill. ; 24 cm
[BOOKデータASPサービス] あらすじ/目次

所蔵情報を非表示

多:B2F小図移管
007/L49/3362 10602020359911
 

 類似資料