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.

FMICS ... : Proceedings of the ... international workshop on formal methods for industrial critical systems

Periodico ACM

  • Scheda
Testo
Periodico Annuale
Descrizione *FMICS ... : *Proceedings of the ... international workshop on formal methods for industrial critical systems / sponsored by ACM SIGSOFT
New York : ACM
v. ; 28 cm
Note Annuale
Descrizione basata su: 2005.
Autore secondario
ACM SIGSOFT
Luogo pubblicazione New York
Editori ACM