biblioteche polo regionale sardegna, Biblioteche Università di Cagliari, Opac sardegna, Catalogo Sardegna, Biblioteche, Sebina, sebinayou, biblioteche, catalogo biblioteca, catalogo biblioteche, ebook, documenti digitali, indaco, prestito, libri, cd, dvd, consultazione, leggere.

FMSE ... : Proceedings of the ... ACM workshop on formal methods in security engineering

Periodico ACM

  • Scheda
Testo
Periodico Annuale
Descrizione *FMSE ... : *Proceedings of the ... ACM workshop on formal methods in security engineering / sponsored by ACM Special Interest Group on Security, Audit & Control (SIGSAC)
New York : ACM
v. ; 28 cm
Note Annuale
Descrizione basata su: 2005.
Autore secondario
ACM SIGSAC
Luogo pubblicazione New York
Editori ACM