Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science ; 3956Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Description: v.: digitalISBN:
  • 9783540336914
Subject(s): LOC classification:
  • TK7895.S62 B37 2006
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 2006 (Browse shelf(Opens below)) Link to resource 1 Available Springer Link BDIG00009910

There are no comments on this title.

to post a comment.