Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Bibliographic Details
Published in:Springer e-books
Main Author: Barthe, Gilles
Corporate Author: SpringerLink (Online service)
Other Authors: Gregoire, Benjamin, Huisman, Marieke, Lanet, Jean-Louis
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Computer science
Logic design
Operating systems (Computers)
Software engineering
Logics and Meanings of Programs
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Special Purpose and Application-Based Systems
Online Access:http://dx.doi.org/10.1007/11741060
Перейти в каталог НБ ТГУ
Description
ISBN:9783540336914
ISSN:0302-9743 ;

Similar Items