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)
Holdings
Item type Current library Call number URL Copy number Status Notes Barcode
Libro Electrónico Libro Electrónico Biblioteca Digital Colección Digital TK7895.S62 B37 2005 (Browse shelf(Opens below)) Link to resource 1 Available Springer Link BDIG00007169

There are no comments on this title.

to post a comment.