Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 5 de 5
Engineering Secure Software and Systems
Autor/Editor: Barthe, Gilles  Livshits, Benjamin  Scandariato, Riccardo
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28166-2
    + info
Formal Aspects of Security and Trust
Autor/Editor: Barthe, Gilles  Datta, Anupam  Etalle, Sandro
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29420-4
    + info
Formal Methods for Open Object-Based Distributed Systems
Autor/Editor: Barthe, Gilles  Boer, Frank S.
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-68863-1
    + info
Security and Trust Management
Autor/Editor: Barthe, Gilles  Markatos, Evangelos  Samarati, Pierangela
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46598-2
    + info
Trustworthy Global Computing
Autor/Editor: Barthe, Gilles  Fournet, Cédric
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-78663-4
    + info
  registros 1 al 5 de 5