Coverart for item
The Resource Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, edited by Gilles Barthe, Lilian Burdy et al, (electronic book /)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, edited by Gilles Barthe, Lilian Burdy et al, (electronic book /)

Label
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Title
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
Title remainder
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Statement of responsibility
edited by Gilles Barthe, Lilian Burdy et al
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
DE-He213
Characteristic
online system or service
http://library.link/vocab/creatorDate
1967-
http://library.link/vocab/creatorName
Barthe, Gilles
Image bit depth
0
http://library.link/vocab/relatedWorkOrContributorName
  • Burdy, Lilian
  • Huisman, Marieke
  • Lanet, Jean-Louis
  • Muntean, Traian
Series statement
Lecture Notes in Computer Science
Series volume
3362
http://library.link/vocab/subjectName
  • Computer science
  • Logic design
  • Operating systems (Computers)
  • Software engineering
Label
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, edited by Gilles Barthe, Lilian Burdy et al, (electronic book /)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540305699
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, edited by Gilles Barthe, Lilian Burdy et al, (electronic book /)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540305699
Level of compression
uncompressed
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...