Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science ; 3362Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.Description: v.: digitalISBN:
  • 9783540305699
Subject(s): LOC classification:
  • TK7895.S62 B37 2005
Online resources: In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Powered by Koha