biblioteche Università Vanvitelli, biblioteche Vanvitelli, biblioteche Università degli Studi della Campania, Sebina, biblioteca, opac, catalogo biblioteca, Campania, Catalogo biblioteca, catalogo on-line, Prestito libri

Principles of model checking

Baier, Christel

MIT <editore> 2008

  • Lo trovi in
  • Scheda
VAN08@Biblioteca del Dipartimento di Matematica e Fisica

Biblioteca


Informazioni sui servizi:

Richiesta di prestito:

Per ottenere in prestito il documento, è necessario essere iscritti ai servizi bibliotecari.
Il servizio è sospeso nei 15 minuti antecedenti la chiusura della biblioteca.
Il documento deve essere ritirato entro l’orario di chiusura della biblioteca nello stesso giorno in cui la richiesta viene inoltrata. Alla scadenza del termine fissato per il ritiro, la richiesta di prestito decade automaticamente.

Documento disponibile
Richiesta di prestito

Documento ammesso al prestito , escluso dal prestito interbibliotecario

Inventario DMF 166
Collocazione PREST 68-XX 0226 I