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!
LEADER 01912nam a22004573i 4500
001 32171013
003 SI-MaCOB
005 20101031000000.0
006 m||||fo||d||||||||
007 cr||||
008 091003s2006 gw ||||fo |1|| ||eng c
020 |a 9783540336914 
024 7 1 |a 10.1007/11741060  |2 doi 
080 |a 004 
245 1 0 |a Construction and Analysis of Safe, Secure, and Interoperable Smart Devices   |h [Elektronski vir] :   |b Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /   |c edited by Gilles Barthe ... [et al.].  
256 |a El. knjiga.  
260 |a Berlin ;   |a Heidelberg :   |b Springer,   |c 2006. 
490 0 |a Lecture Notes in Computer Science,   |x 0302-9743 ;  |v 3956 
500 |a Zapis avtomatsko prevzet s spletne strani založnika Springer.  
650 0 0 |a Computer science.  
650 0 0 |a Logic design.  
650 0 0 |a Operating systems (Computers)  
650 0 0 |a Software engineering.  
653 0 |a Logics and Meanings of Programs  |a Operating Systems  |a Programming Languages, Compilers, Interpreters  |a Programming Techniques  |a Special Purpose and Application-Based Systems 
700 1 |a Barthe, Gilles.   |4 edt 
700 1 2 |a Gregoire, Benjamin.   |4 edt 
700 1 2 |a Huisman, Marieke.   |4 edt 
700 1 2 |a Lanet, Jean-Luis.   |4 edt 
710 2 |a SpringerLink (Online service).  
040 |a CTK  |b slv  |c SI-MaIIZ  |d VZSMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d VPVSLJ  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d UKM  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d PRFMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d PEFMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d MFMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d KTFMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d FOV  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d FLCE  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d FKMB  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d FEKRS  |e ppiak 
040 |a CTK  |b slv  |c SI-MaIIZ  |d EPF  |e ppiak 

Podobne knjige/članki