Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)
by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)
by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman
ISBN 13: 9783540242871
Format: Paperback
(272 pages)
Publisher: Springer
Published: 13 Jun 2008
Save for later
New : $71.40