Condividi Trova il documento in altre risorse Anobii Wikipedia YouTube Amazon ???scheda.servizi.button??? Facebook Twitter Model checking Clarke, Edmund M. <1945- > The MIT Press 1999 Scrivi una recensione e condividila con gli altri lettori. Lo trovi in Scheda RCA39@Biblioteca dell'Area di Ingegneria - Sezione Centrale Biblioteca Biblioteca dell'Area di Ingegneria - Sezione Centrale Mappa Biblioteca Documento disponibile Richiesta di prestito Inventario DIM 1815 Collocazione DIIES 004.21 1999 CLA mod Scaffale http://www.bibliotechecalabria.it/SebinaOpac/resource/RCA01318030