Slika na naslovnici

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Shranjeno v:
Bibliografske podrobnosti
Korporativna značnica: SpringerLink (Online service).
Drugi avtorji: Barthe, Gilles. (Editor), Gregoire, Benjamin. (Editor), Huisman, Marieke. (Editor), Lanet, Jean-Luis. (Editor)
Format: eKnjiga
Jezik:English
Izdano: Berlin ; Heidelberg : Springer, 2006.
Serija:Lecture Notes in Computer Science, 3956
Teme:
Computer science.
Logic design.
Operating systems (Computers)
Software engineering.
Logics and Meanings of Programs > Operating Systems > Programming Languages, Compilers, Interpreters > Programming Techniques > Special Purpose and Application-Based Systems
Oznake: Označite
Brez oznak, prvi označite!
Opis
Opis knjige/članka:Zapis avtomatsko prevzet s spletne strani založnika Springer.
ISBN:9783540336914
ISSN:0302-9743 ;

Podobne knjige/članki