Su búsqueda retornó 2 resultados.

Resultados
		Formal Aspects in Security and Trust [recurso electrónico] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Joshua D. Guttman. por Degano, Pierpaolo [editor.] \| Guttman, Joshua D [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5983Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		Formal Aspects of Security and Trust [recurso electrónico] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers / edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman. por Degano, Pierpaolo [editor.] \| Etalle, Sandro [editor.] \| Guttman, Joshua [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6561Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Refinar su búsqueda