top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Barthe, Gilles
ID:
180568
Opere
Altre forme del nome
Barthe, Gilles
Barthe, G. (Gilles), 1967-
Barthe, Gilles, 1967-...
Barthe, G. 1967-
Barthe Gilles 1967-
Barthe Gilles
Seleziona tutte
Deseleziona
Construction and analysis of safe, secure, and interoperable smart devices
...
Engineering secure software and systems
...
Formal methods for open object-based distributed systems
...
Verification, model checking, and abstract interpretation
...