Biblioteche, Regione Calabria, Reggio Calabria, Sebina, biblioteche, catalogo biblioteca, ebook, digitale, prestito, libri, cd, dvd, prestito, consultazione, leggere.

Model checking

Clarke, Edmund M. <1945- >

The MIT Press 1999

  • Lo trovi in
  • Scheda
RCA39@Biblioteca dell'Area di Ingegneria - Sezione Centrale

Biblioteca


Documento disponibile

Inventario DIM 1815
Collocazione DIIES 004.21 1999 CLA mod